CI

Clean up Cargo manifest management #128

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check source	3m 26s
Build docs	3m 6s
Check dependencies	6m 10s
Check licenses	13s
Check Kani proofs	4m 28s
Run other tests	6m 26s
Run sel4test (aarch64)	7m 21s
Run sel4test (aarch32)	6m 40s
Run sel4test (riscv64)	6m 44s
Run sel4test (riscv32)	4m 40s
Run sel4test (x86_64)	7m 32s
Run sel4test (ia32)	1m 51s
Build everything	7m 34s
Deploy docs	0s
	1h 6m 11s