CI

Rework Cargo manifest management #114

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docs	2m 31s
Check licenses	10s
Check dependencies	6m 12s
Check Kani proofs	4m 39s
Check source	1m 48s
Run other tests	5m 57s
Run sel4test (aarch64)	5m 15s
Run sel4test (aarch32)	5m 48s
Run sel4test (riscv64)	5m 41s
Run sel4test (riscv32)	5m 45s
Run sel4test (x86_64)	7m 24s
Run sel4test (ia32)	1m 54s
Build everything	0s
Deploy docs	0s
	53m 4s