CI

Further reduce reliance on unstable rustc features #194

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check dependencies	2m 57s
Build docs	8m 7s
Check licenses	8s
Check Kani proofs	3m 7s
Run other tests	4m 35s
Run sel4test (aarch64)	4m 17s
Run sel4test (aarch32)	4m 13s
Check source	1m 49s
Run sel4test (riscv64)	4m 14s
Run sel4test (riscv32)	4m 21s
Run sel4test (x86_64)	4m 25s
Run sel4test (ia32)	1m 35s
Build everything	12m 3s
Deploy docs	0s
	55m 51s