Skip to content

Merge pull request #1903 from o1-labs/matt/stop-irrelevant-ci-jobs #68

Merge pull request #1903 from o1-labs/matt/stop-irrelevant-ci-jobs

Merge pull request #1903 from o1-labs/matt/stop-irrelevant-ci-jobs #68

Triggered via push November 20, 2024 16:37
Status Success
Total duration 40s
Artifacts
auto-merge
29s
auto-merge
Fit to window
Zoom out
Zoom in

Annotations

1 error
auto-merge
Process completed with exit code 1.