Skip to content

Update mvn version used in CI#188

Merged
krumts merged 1 commit into
masterfrom
fixci
May 29, 2026
Merged

Update mvn version used in CI#188
krumts merged 1 commit into
masterfrom
fixci

Commits

Commits on May 28, 2026