CI

Improve core runtime crates #210

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check Kani proofs	3m 5s
Build docs	8m 42s
Check licenses	10s
Check dependencies	3m 53s
Check source	2m 21s
Run other tests	21m 17s
Run sel4test (aarch64)	4m 54s
Run sel4test (aarch32)	5m 10s
Run sel4test (riscv64)	4m 48s
Run sel4test (riscv32)	4m 17s
Run sel4test (x86_64)	4m 42s
Run sel4test (ia32)	2m 4s
Build everything	31m 21s
Deploy docs	0s
	1h 36m 44s