Skip to content

Merge pull request #1873 from o1-labs/merge-main-v2-1 #56

Merge pull request #1873 from o1-labs/merge-main-v2-1

Merge pull request #1873 from o1-labs/merge-main-v2-1 #56

Triggered via push October 21, 2024 21:20
Status Success
Total duration 43s
Artifacts
auto-merge
31s
auto-merge
Fit to window
Zoom out
Zoom in

Annotations

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