CI

Improve core runtime crates #206

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check Kani proofs	3m 35s
Check licenses	8s
Check dependencies	3m 52s
Check source	2m 23s
Run other tests	31m 11s
Build docs	8m 33s
Run sel4test (aarch64)	4m 56s
Run sel4test (aarch32)	5m 0s
Run sel4test (riscv64)	5m 3s
Run sel4test (riscv32)	4m 40s
Run sel4test (x86_64)	4m 57s
Run sel4test (ia32)	2m 7s
Build everything	44m 42s
Deploy docs	0s
	2h 1m 7s