CI

crates/sel4-externally-shared: Improve API #106

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check dependencies	5m 11s
Check source	1m 56s
Check Kani proofs	4m 31s
Build docs	17m 7s
Run other tests	10m 28s
Run sel4test (aarch64)	7m 9s
Run sel4test (aarch32)	7m 1s
Run sel4test (riscv64)	8m 6s
Run sel4test (riscv32)	4m 57s
Run sel4test (x86_64)	5m 39s
Run sel4test (ia32)	2m 5s
Build everything	10m 17s
Deploy docs	52s
	1h 25m 19s