CI

Improve core runtime crates #214

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check Kani proofs	2m 51s
Check dependencies	3m 38s
Build docs	7m 57s
Check licenses	11s
Check source	2m 13s
Run other tests	8m 53s
Run sel4test (aarch64)	5m 18s
Run sel4test (aarch32)	4m 48s
Run sel4test (riscv64)	4m 49s
Run sel4test (riscv32)	4m 7s
Run sel4test (x86_64)	4m 33s
Run sel4test (ia32)	2m 15s
Build everything	6m 58s
Deploy docs	0s
	58m 31s