Increase parallelization in CI #77

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Run other tests	5m 22s
Run sel4test (aarch64)	5m 13s
Run sel4test (aarch32)	5m 25s
Run sel4test (riscv64)	6m 16s
Run sel4test (riscv32)	5m 26s
Build docs	2m 45s
Check dependencies	4m 29s
Run sel4test (x86_64)	6m 12s
Check dependencies	1m 53s
Run sel4test (ia32)	1m 46s
Build everything	6m 0s
Deploy docs	0s
	50m 47s