Skip to content

Merge pull request #422 from mkurz/adjust_mima_70x #71

Merge pull request #422 from mkurz/adjust_mima_70x

Merge pull request #422 from mkurz/adjust_mima_70x #71

Triggered via push November 7, 2023 13:36
Status Success
Total duration 1m 27s
Artifacts
Submit dependencies to GitHub
1m 15s
Submit dependencies to GitHub
Fit to window
Zoom out
Zoom in