Skip to content

Merge pull request #813 from jmartisk/quarkus-rename #321

Merge pull request #813 from jmartisk/quarkus-rename

Merge pull request #813 from jmartisk/quarkus-rename #321

Triggered via push November 15, 2024 08:45
Status Success
Total duration 19s
Artifacts
mirror-repository
9s
mirror-repository
Fit to window
Zoom out
Zoom in