Back to pull request #34

Improve API of `sel4-externally-shared` #105

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check dependencies	4m 59s
Build docs	11m 45s
Check source	1m 45s
Check Kani proofs	3m 38s
Run other tests	8m 11s
Run sel4test (aarch64)	5m 24s
Run sel4test (aarch32)	6m 6s
Run sel4test (riscv64)	8m 7s
Run sel4test (riscv32)	5m 54s
Run sel4test (x86_64)	5m 28s
Run sel4test (ia32)	2m 30s
Build everything	23m 38s
Deploy docs	0s
	1h 27m 25s