Migrate to Github Actions, CodeCov and Maven Central and update maven…#49
Merged
patrickfav merged 1 commit intomainfrom Feb 11, 2023
Merged
Migrate to Github Actions, CodeCov and Maven Central and update maven…#49patrickfav merged 1 commit intomainfrom
patrickfav merged 1 commit intomainfrom