CI

Introduce `spawn-task` example #329

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check licenses	13s
Check dependencies	1m 46s
Check Kani proofs	2m 59s
Build docs	1m 21s
Check source	1m 42s
Run other tests	5m 43s
Build everything	6m 36s
Deploy docs	0s
	20m 20s