CI

Enable robustness against malicious drivers #101

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Run other tests	7m 33s
Check Kani proofs	4m 44s
Build docs	2m 1s
Check source	1m 39s
Check dependencies	5m 44s
Run sel4test (aarch64)	6m 49s
Run sel4test (aarch32)	8m 8s
Run sel4test (riscv64)	6m 43s
Run sel4test (riscv32)	6m 7s
Run sel4test (x86_64)	5m 17s
Run sel4test (ia32)	2m 13s
Build everything	7m 25s
Deploy docs	0s
	1h 4m 23s