CI

ci: Check Kani proofs #95

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check source	1m 37s
Build docs	15m 25s
Check Kani proofs	4m 6s
Check dependencies	4m 44s
Run other tests	16m 24s
Run sel4test (aarch64)	7m 20s
Run sel4test (aarch32)	7m 43s
Run sel4test (riscv64)	10m 24s
Run sel4test (riscv32)	6m 42s
Run sel4test (x86_64)	7m 8s
Run sel4test (ia32)	1m 59s
Build everything	14m 1s
Deploy docs	56s
	1h 38m 29s