Skip to content

Merge pull request #2195 from fwesselm/onlyRootPresolveSwitch #1238

Merge pull request #2195 from fwesselm/onlyRootPresolveSwitch

Merge pull request #2195 from fwesselm/onlyRootPresolveSwitch #1238

Triggered via push February 27, 2025 13:51
Status Success
Total duration 13m 26s
Artifacts
Matrix: debug
Matrix: debug_all_tests
Matrix: release
Matrix: release_all_tests
Fit to window
Zoom out
Zoom in