Skip to content
This repository was archived by the owner on Apr 2, 2026. It is now read-only.

Commit 40ebde7

Browse files
patch: update tools versions
1 parent 422b8a1 commit 40ebde7

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

install.sh

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,8 @@
22

33
set -e
44

5-
PMD_RELEASE="https://github.com/pmd/pmd/releases/download/pmd_releases/7.17.0/pmd-dist-7.17.0-bin.zip"
6-
CHECKSTYLE_RELEASE="https://github.com/checkstyle/checkstyle/releases/download/checkstyle-12.1.0/checkstyle-12.1.0-all.jar"
5+
PMD_RELEASE="https://github.com/pmd/pmd/releases/download/pmd_releases/7.18.0/pmd-dist-7.18.0-bin.zip"
6+
CHECKSTYLE_RELEASE="https://github.com/checkstyle/checkstyle/releases/download/checkstyle-12.1.1/checkstyle-12.1.1-all.jar"
77

88
apt-get update && apt-get install --no-install-recommends -y ca-certificates wget unzip curl bash jq
99

0 commit comments

Comments
 (0)