Skip to content

Merge branch 'develop' into use-new-header #880

Merge branch 'develop' into use-new-header

Merge branch 'develop' into use-new-header #880

Triggered via push March 12, 2025 12:49
Status Failure
Total duration 5m 19s
Artifacts
Run solverdummies
5m 15s
Run solverdummies
Fit to window
Zoom out
Zoom in

Annotations

1 error
Run solverdummies
Process completed with exit code 1.