Skip to content

Merge pull request #5175 from HofiOne/drop-mantic #21

Merge pull request #5175 from HofiOne/drop-mantic

Merge pull request #5175 from HofiOne/drop-mantic #21

Triggered via push November 25, 2024 10:12
Status Success
Total duration 15s
Artifacts
comment-on-version-bump-pr
4s
comment-on-version-bump-pr
Fit to window
Zoom out
Zoom in