CI

Improve core runtime crates #207

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docs	8m 28s
Check dependencies	4m 3s
Check licenses	9s
Check Kani proofs	3m 7s
Check source	2m 43s
Run other tests	6h 0m 13s
Run sel4test (aarch64)	4m 48s
Run sel4test (aarch32)	5m 22s
Run sel4test (riscv64)	5m 26s
Run sel4test (riscv32)	4m 30s
Run sel4test (x86_64)	5m 3s
Run sel4test (ia32)	2m 18s
Build everything	0s
Deploy docs	0s
	6h 46m 10s