patch: update tools versions

gherynos · Oct 6, 2024 · d982133 · d982133
1 parent 6c64820
commit d982133
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/install.sh b/install.sh
@@ -3,7 +3,7 @@
 set -e
 
 PMD_RELEASE="https://github.com/pmd/pmd/releases/download/pmd_releases/7.6.0/pmd-dist-7.6.0-bin.zip"
-CHECKSTYLE_RELEASE="https://github.com/checkstyle/checkstyle/releases/download/checkstyle-10.18.1/checkstyle-10.18.1-all.jar"
+CHECKSTYLE_RELEASE="https://github.com/checkstyle/checkstyle/releases/download/checkstyle-10.18.2/checkstyle-10.18.2-all.jar"
 
 apt-get update && apt-get install --no-install-recommends -y ca-certificates wget unzip curl bash jq