Skip to content

Add Azure Pipelines CI and some of our usual Maven checks#4

Merged
scholzj merged 3 commits intomainfrom add-azure-pipelines-ciMar 22, 2022

Commits

Commits on Mar 21, 2022

Commits on Mar 22, 2022