Repository navigation

CI

Desks: hold phone alerts for a thread you're watching; desktop notifications #33

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Tests	2m 58s
Check and prove	8m 42s
Build linux-arm64	14m 36s
Build linux-x64	15m 12s
	41m 28s