CI

Performance: parallelising kimchi prover more #1396

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Building MDBook (1.72)	10m 14s
Building MDBook (1.72)	10m 14s
Run checks and tests (1.72, 4.14, 20)	22m 59s
Run checks and tests (1.72, 4.14, 20)	22m 59s
Formatting (nightly)	36s
Formatting (nightly)	36s
Run checks and tests (1.73, 4.14, 20)	21m 38s
Run checks and tests (1.73, 4.14, 20)	21m 38s
Run checks and tests (1.74, 4.14, 20)	3s
Run checks and tests (1.74, 4.14, 20)	2h 9m 56s
Run checks and tests (1.75, 4.14, 20)	21m 41s
Run checks and tests (1.75, 4.14, 20)	21m 41s
Run checks and tests (1.76, 4.14, 20)	21m 38s
Run checks and tests (1.76, 4.14, 20)	21m 38s
Run checks and tests (1.77, 4.14, 20)	22m 16s
Run checks and tests (1.77, 4.14, 20)	22m 16s
Run checks and tests (1.78, 4.14, 20)	20m 31s
Run checks and tests (1.78, 4.14, 20)	20m 31s
Run checks and tests (1.79, 4.14, 20)	21m 0s
Run checks and tests (1.79, 4.14, 20)	21m 0s
	7h 35m 5s