Skip to content

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

Merge branch 'develop' into use-new-header

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

Triggered via push March 12, 2025 12:49
Status Failure
Total duration 5m 7s
Artifacts
Run setup test
5m 1s
Run setup test
Run setup install
3m 2s
Run setup install
Run pip install
0s
Run pip install
Run solverdummy
0s
Run solverdummy
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Run setup install
Process completed with exit code 1.
Run setup test
Process completed with exit code 1.