Skip to content
hipo-mangle

Merge commit '3893f88c32f07fa5180e13ed9800d6a0c6212755' of https://gi… #1390

Sign in to view logs

Merge commit '3893f88c32f07fa5180e13ed9800d6a0c6212755' of https://gi…

Merge commit '3893f88c32f07fa5180e13ed9800d6a0c6212755' of https://gi… #1390

Triggered via push August 28, 2026 07:48
@fwesselmfwesselm
pushed d1cd1ee
FMPresolveMerged
Status Success
Total duration 9m 37s
Artifacts –

hipo-mangle.yml

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