Skip to content

Merge pull request #4522 from johanneskloos/johanneskloos/4519-add-mi… #6

Merge pull request #4522 from johanneskloos/johanneskloos/4519-add-mi…

Merge pull request #4522 from johanneskloos/johanneskloos/4519-add-mi… #6

Triggered via push August 15, 2024 15:14
Status Success
Total duration 2m 18s
Artifacts
Validate checkstyle
26s
Validate checkstyle
Spotless check
2m 4s
Spotless check
Fit to window
Zoom out
Zoom in