CI

Improve core runtime crates #208

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check dependencies	4m 1s
Check licenses	10s
Check Kani proofs	2m 59s
Build docs	2m 52s
Check source	2m 24s
Run other tests	4m 36s
Run sel4test (aarch64)	4m 57s
Run sel4test (aarch32)	5m 16s
Run sel4test (riscv64)	5m 22s
Run sel4test (riscv32)	4m 39s
Run sel4test (x86_64)	5m 2s
Run sel4test (ia32)	2m 14s
Build everything	10m 1s
Deploy docs	0s
	54m 33s