CI

Rework Cargo manifest management #117

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check licenses	16s
Check Kani proofs	4m 10s
Check dependencies	5m 56s
Build docs	2m 33s
Check source	1m 37s
Run sel4test (aarch64)	5m 17s
Run other tests	5m 22s
Run sel4test (aarch32)	8m 36s
Run sel4test (riscv64)	8m 33s
Run sel4test (riscv32)	4m 35s
Run sel4test (x86_64)	6m 8s
Run sel4test (ia32)	1m 45s
Build everything	1m 39s
Deploy docs	0s
	56m 27s