CI

Rework Cargo manifest management #118

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Run sel4test (aarch64)	7m 32s
Check dependencies	5m 56s
Run sel4test (aarch32)	8m 23s
Run sel4test (riscv64)	5m 37s
Check Kani proofs	4m 56s
Run sel4test (riscv32)	4m 42s
Check licenses	12s
Build docs	2m 48s
Run sel4test (x86_64)	6m 15s
Check source	1m 31s
Run sel4test (ia32)	2m 12s
Run other tests	6m 10s
Build everything	8m 5s
Deploy docs	0s
	1h 4m 19s