Skip to content

Merge pull request #3230 from fwesselm/increaseMipCodeCoverage #1328

Merge pull request #3230 from fwesselm/increaseMipCodeCoverage

Merge pull request #3230 from fwesselm/increaseMipCodeCoverage #1328

Triggered via push August 25, 2026 12:47
Status Success
Total duration 13m 21s
Artifacts

hipo-mangle.yml

on: push
Matrix: check-metis
Fit to window
Zoom out
Zoom in