Skip to content

Merge pull request #19383 from MathiasVP/add-missing-predicate-to-mad… #1972

Merge pull request #19383 from MathiasVP/add-missing-predicate-to-mad…

Merge pull request #19383 from MathiasVP/add-missing-predicate-to-mad… #1972

Triggered via push April 28, 2025 10:58
Status Success
Total duration 3m 55s
Artifacts
Matrix: analyze
Fit to window
Zoom out
Zoom in