Merge branch 'master' into pmd/7.0.x

This commit is contained in:
Andreas Dangel
2021-10-16 10:40:02 +02:00
10 changed files with 135 additions and 72 deletions

View File

@@ -28,3 +28,4 @@ jobs:
shell: bash
env:
PMD_CI_SECRET_PASSPHRASE: ${{ secrets.PMD_CI_SECRET_PASSPHRASE }}
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}