CI

Modularize Cargo manifest management #146

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docs	2m 45s
Check licenses	12s
Check dependencies	6m 50s
Check Kani proofs	4m 47s
Check source	3m 28s
Run sel4test (aarch64)	4m 25s
Run other tests	7m 3s
Run sel4test (aarch32)	6m 58s
Run sel4test (riscv64)	4m 26s
Run sel4test (riscv32)	4m 52s
Run sel4test (x86_64)	4m 27s
Run sel4test (ia32)	1m 44s
Build everything	8m 52s
Deploy docs	0s
	1h 0m 49s