CI

Rework Cargo manifest management again #125

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check Kani proofs	4m 40s
Check dependencies	6m 47s
Check licenses	17s
Build docs	2m 16s
Check source	2m 49s
Run other tests	4m 43s
Run sel4test (aarch64)	5m 27s
Run sel4test (aarch32)	6m 20s
Run sel4test (riscv64)	7m 43s
Run sel4test (riscv32)	6m 53s
Run sel4test (x86_64)	7m 4s
Run sel4test (ia32)	2m 16s
Build everything	7m 24s
Deploy docs	0s
	1h 4m 39s