CI

Introduce the Kani Rust verifier #93

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Run sel4test (aarch64)	7m 8s
Run sel4test (aarch32)	10m 57s
Run sel4test (riscv64)	9m 1s
Check Kani proofs	5m 19s
Build docs	11m 32s
Run sel4test (riscv32)	7m 57s
Check dependencies	5m 44s
Run sel4test (x86_64)	8m 37s
Run sel4test (ia32)	1m 51s
Check source	1m 28s
Run other tests	13m 58s
Build everything	42m 9s
Deploy docs	0s
	2h 5m 41s