Skip to content

Merge pull request #3230 from fwesselm/increaseMipCodeCoverage #3416

Merge pull request #3230 from fwesselm/increaseMipCodeCoverage

Merge pull request #3230 from fwesselm/increaseMipCodeCoverage #3416

Triggered via push August 25, 2026 12:47
Status Success
Total duration 14s
Artifacts
Fit to window
Zoom out
Zoom in