CI

Improve core runtime crates #212

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check licenses	11s
Build docs	2m 17s
Check Kani proofs	3m 8s
Check dependencies	3m 48s
Check source	2m 14s
Run other tests	5m 3s
Run sel4test (aarch64)	4m 48s
Run sel4test (aarch32)	4m 53s
Run sel4test (riscv64)	5m 3s
Run sel4test (riscv32)	4m 28s
Run sel4test (x86_64)	4m 38s
Run sel4test (ia32)	2m 9s
Build everything	6m 0s
Deploy docs	0s
	48m 40s