CI

Introduce the Kani Rust verifier #91

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check dependencies	5m 42s
Check source	2m 1s
Build docs	2m 19s
Check Kani proofs	4m 30s
Run other tests	5m 39s
Run sel4test (aarch64)	5m 38s
Run sel4test (aarch32)	5m 57s
Run sel4test (riscv64)	6m 6s
Run sel4test (riscv32)	6m 44s
Run sel4test (x86_64)	5m 27s
Run sel4test (ia32)	2m 32s
Build everything	10m 33s
Deploy docs	0s
	1h 3m 8s