CI

Increase parallelization in CI #75

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docs	2m 20s
Check dependencies	1m 38s
Run other tests	4m 30s
Check dependencies	4m 36s
Run sel4test (aarch64)	5m 9s
Run sel4test (aarch32)	7m 23s
Run sel4test (riscv64)	5m 31s
Run sel4test (riscv32)	4m 34s
Run sel4test (x86_64)	5m 15s
Run sel4test (ia32)	2m 4s
Build everything	7m 41s
Deploy docs	0s
	50m 41s