PRs to address build and pipeline concerns
The PRs are initial proposals and may not all be integrated as they are.
Best Practices
New build features
New build features (optional)
Changes necessary in GitHub
Add the following org secrets.
MAVEN_CENTRAL_USERNAME username you get from generate-portal-token
MAVEN_CENTRAL_PASSWORD password you get from generate-portal-token
SIGNING_KEY your signing key (ascii-armored)
SIGNING_PASSPHRASE passphrase for the key
Open Points
PRs to address build and pipeline concerns
The PRs are initial proposals and may not all be integrated as they are.
Best Practices
New build features
Add multi-JDK build support: https://github.com/jjohannes/sava/pull/1New build features (optional)
Changes necessary in GitHub
Add the following org secrets.
MAVEN_CENTRAL_USERNAMEusername you get from generate-portal-tokenMAVEN_CENTRAL_PASSWORDpassword you get from generate-portal-tokenSIGNING_KEYyour signing key (ascii-armored)SIGNING_PASSPHRASEpassphrase for the keyOpen Points
Add style auto-formatting and checking (https://github.com/diffplug/spotless)?--> noRemove GithubPackages publishing altogether? Use Maven Central SNAPSHOTS (configure in CI pipeline)?--> nojavaVersioninto Gradle from GH Actions now that everything in the build relies on the toolchain configuration.