CI

Rework Cargo manifest management tool #126

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check licenses	10s
Check Kani proofs	4m 33s
Build docs	2m 48s
Check dependencies	6m 45s
Check source	2m 50s
Run other tests	5m 52s
Run sel4test (aarch64)	5m 21s
Run sel4test (aarch32)	5m 44s
Run sel4test (riscv64)	7m 3s
Run sel4test (riscv32)	4m 47s
Run sel4test (x86_64)	5m 26s
Run sel4test (ia32)	2m 17s
Build everything	7m 32s
Deploy docs	49s
	1h 1m 57s