Skip to content

Merge pull request #408 from mkurz/revert_mima #47

Merge pull request #408 from mkurz/revert_mima

Merge pull request #408 from mkurz/revert_mima #47

Triggered via push October 20, 2023 19:59
Status Success
Total duration 42s
Artifacts
update_release_draft
29s
update_release_draft
Fit to window
Zoom out
Zoom in