Skip to content

Merge pull request #400 from mkurz/adjust_mima #21

Merge pull request #400 from mkurz/adjust_mima

Merge pull request #400 from mkurz/adjust_mima #21

Triggered via push October 4, 2023 00:29
Status Failure
Total duration 1m 17s
Artifacts
Submit dependencies to GitHub
1m 6s
Submit dependencies to GitHub
Fit to window
Zoom out
Zoom in