CI

crates/sel4-externally-shared: Rework #104

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check Kani proofs	3m 55s
Check dependencies	5m 11s
Build docs	2m 3s
Check source	1m 52s
Run other tests	5m 14s
Run sel4test (aarch64)	5m 53s
Run sel4test (aarch32)	8m 40s
Run sel4test (riscv64)	7m 36s
Run sel4test (riscv32)	4m 36s
Run sel4test (x86_64)	5m 14s
Run sel4test (ia32)	1m 50s
Build everything	8m 33s
Deploy docs	51s
	1h 1m 28s