Skip to content

Conversation

@ndoschek
Copy link
Member

@ndoschek ndoschek commented Mar 2, 2023

Resolves #269

@ndoschek ndoschek requested a review from eneufeld March 2, 2023 10:15
@ndoschek ndoschek changed the title #269 Fix GitHub workflow builds #269 #269 Fix GitHub workflow builds Mar 2, 2023
@ndoschek ndoschek changed the title #269 Fix GitHub workflow builds #269 Support maven 3.9.0 and hence fix GitHub workflow builds Mar 2, 2023
@eneufeld eneufeld merged commit 13c848d into master Mar 9, 2023
@ndoschek ndoschek deleted the issues/269 branch March 9, 2023 09:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Support maven 3.9.0 and hence fix GitHub workflow builds

3 participants