CI

Reduce reliance on unstable rustc features #192

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check dependencies	2m 39s
Check licenses	8s
Check Kani proofs	3m 16s
Build docs	1m 46s
Check source	1m 33s
Run other tests	5m 37s
Run sel4test (aarch64)	4m 6s
Run sel4test (aarch32)	4m 11s
Run sel4test (riscv64)	4m 4s
Run sel4test (riscv32)	3m 52s
Run sel4test (x86_64)	3m 54s
Run sel4test (ia32)	1m 25s
Build everything	7m 2s
Deploy docs	0s
	43m 33s