Back to pull request #43

Remove dependence on setvar patch for Microkit #136

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check licenses	12s
Check Kani proofs	3m 42s
Build docs	2m 32s
Check dependencies	5m 48s
Check source	2m 43s
Run other tests	6m 0s
Run sel4test (aarch64)	5m 16s
Run sel4test (aarch32)	5m 55s
Run sel4test (riscv64)	7m 41s
Run sel4test (riscv32)	6m 9s
Run sel4test (x86_64)	5m 19s
Run sel4test (ia32)	1m 57s
Build everything	7m 10s
Deploy docs	0s
	1h 0m 24s