Back to pull request #45

Further develop and modularize Cargo manifest management #144

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check dependencies	4m 26s
Check licenses	14s
Check Kani proofs	4m 35s
Build docs	2m 46s
Check source	2m 46s
Run other tests	5m 43s
Run sel4test (aarch64)	5m 16s
Run sel4test (aarch32)	5m 45s
Run sel4test (riscv64)	4m 32s
Run sel4test (riscv32)	6m 46s
Run sel4test (x86_64)	5m 20s
Run sel4test (ia32)	1m 39s
Build everything	8m 0s
Deploy docs	0s
	57m 48s