Adapt to use local maven build option in GitHub actions#511

Merged

JanWittler merged 3 commits intomasterfrom local-maven-build

Apr 2, 2022

+3-8

Commits on Apr 1, 2022

use local maven build option in GitHub actions
Jan Wittler
committed
escape variables in GitHub actions
Jan Wittler
committed
trying to fix GitHub actions
Jan Wittler
committed