Skip to content

Performance: parallelising kimchi prover more #1218

Performance: parallelising kimchi prover more

Performance: parallelising kimchi prover more #1218

Triggered via pull request January 27, 2025 13:18
Status Failure
Total duration 10m 44s
Artifacts

ci.yml

on: pull_request
Matrix: Run checks and tests
Matrix: Formatting
Matrix: Building MDBook

Annotations

9 errors and 2 warnings
Formatting (nightly)
Process completed with exit code 2.
Run checks and tests (1.74, 4.14, 20)
Process completed with exit code 2.
Run checks and tests (1.73, 4.14, 20)
The job was canceled because "_1_74_4_14_20" failed.
Run checks and tests (1.77, 4.14, 20)
The job was canceled because "_1_74_4_14_20" failed.
Run checks and tests (1.79, 4.14, 20)
The job was canceled because "_1_74_4_14_20" failed.
Run checks and tests (1.75, 4.14, 20)
The job was canceled because "_1_74_4_14_20" failed.
Run checks and tests (1.76, 4.14, 20)
The job was canceled because "_1_74_4_14_20" failed.
Run checks and tests (1.72, 4.14, 20)
The job was canceled because "_1_74_4_14_20" failed.
Run checks and tests (1.78, 4.14, 20)
The job was canceled because "_1_74_4_14_20" failed.
Formatting (nightly)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Building MDBook (1.72)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636