CI

Introduce `spawn-task` example #328

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check dependencies	1m 34s
Build docs	1m 21s
Check Kani proofs	2m 59s
Check licenses	38s
Check source	1m 34s
Run other tests	10m 15s
Build everything	0s
Deploy docs	0s
	18m 21s