Skip to content

Merge pull request #946 from ranocha/ranocha-patch-1 #1562

Merge pull request #946 from ranocha/ranocha-patch-1

Merge pull request #946 from ranocha/ranocha-patch-1 #1562

Triggered via push September 23, 2023 21:41
Status Failure
Total duration 12m 49s
Artifacts
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 1.