CI

Rework Cargo manifest management #115

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docs	2m 20s
Check dependencies	4m 57s
Check licenses	13s
Check Kani proofs	4m 25s
Check source	2m 0s
Run other tests	5m 23s
Run sel4test (aarch64)	7m 14s
Run sel4test (aarch32)	5m 43s
Run sel4test (riscv64)	5m 38s
Run sel4test (riscv32)	4m 37s
Run sel4test (x86_64)	5m 5s
Run sel4test (ia32)	2m 22s
Build everything	49s
Deploy docs	0s
	50m 46s