CI

Clean up Cargo manifest management #127

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check dependencies	6m 55s
Check licenses	14s
Check Kani proofs	3m 58s
Build docs	2m 43s
Run other tests	6m 10s
Check source	3m 27s
Run sel4test (aarch64)	5m 19s
Run sel4test (aarch32)	7m 47s
Run sel4test (riscv64)	5m 39s
Run sel4test (riscv32)	4m 49s
Run sel4test (x86_64)	5m 23s
Run sel4test (ia32)	2m 10s
Build everything	6m 57s
Deploy docs	0s
	1h 1m 31s