CI

Improve core runtime crates #205

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check licenses	11s
Build docs	9m 12s
Check Kani proofs	6m 46s
Check dependencies	3m 59s
Check source	2m 25s
Run other tests	32m 11s
Run sel4test (aarch64)	5m 8s
Run sel4test (aarch32)	4m 58s
Run sel4test (riscv64)	5m 7s
Run sel4test (riscv32)	4m 32s
Run sel4test (x86_64)	4m 53s
Run sel4test (ia32)	2m 11s
Build everything	41m 34s
Deploy docs	0s
	2h 3m 7s