CI

Rework Cargo manifest management #116

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docs	2m 37s
Check Kani proofs	3m 40s
Check dependencies	6m 5s
Check licenses	19s
Check source	1m 42s
Run sel4test (aarch64)	5m 6s
Run other tests	5m 21s
Run sel4test (aarch32)	5m 43s
Run sel4test (riscv64)	6m 45s
Run sel4test (riscv32)	6m 37s
Run sel4test (x86_64)	6m 20s
Run sel4test (ia32)	2m 10s
Build everything	1m 10s
Deploy docs	0s
	53m 35s