CI

Clean up Cargo manifest management #129

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docs	2m 40s
Check dependencies	6m 17s
Check Kani proofs	5m 1s
Check licenses	18s
Check source	3m 25s
Run other tests	8m 3s
Run sel4test (aarch64)	7m 21s
Run sel4test (aarch32)	8m 16s
Run sel4test (riscv64)	6m 53s
Run sel4test (riscv32)	5m 28s
Run sel4test (x86_64)	6m 41s
Run sel4test (ia32)	2m 16s
Build everything	9m 20s
Deploy docs	49s
	1h 12m 48s