Back to pull request #33

Rework `sel4-externally-shared` crate #103

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check source	1m 54s
Check dependencies	5m 57s
Build docs	2m 11s
Check Kani proofs	4m 5s
Run other tests	6m 9s
Run sel4test (aarch64)	6m 32s
Run sel4test (aarch32)	5m 59s
Run sel4test (riscv64)	5m 56s
Run sel4test (riscv32)	5m 33s
Run sel4test (x86_64)	5m 33s
Run sel4test (ia32)	2m 4s
Build everything	8m 32s
Deploy docs	0s
	1h 0m 25s