This PR replaces the custom configuration "package --file pom.xml" by the usual "verify" configuration which is more stereotypical in Maven projects, which allows to run integration tests, and aligns Github Actions with what we had in Travis CI.
As these are no API changes, this is a fast-track review period of just one day as per our committer rules.
This PR replaces the custom configuration "package --file pom.xml" by the usual "verify" configuration which is more stereotypical in Maven projects, which allows to run integration tests, and aligns Github Actions with what we had in Travis CI.
As these are no API changes, this is a fast-track review period of just one day as per our committer rules.