diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/travis_script | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/travis_script b/scripts/travis_script index 9df7e722..7b7bec50 100755 --- a/scripts/travis_script +++ b/scripts/travis_script @@ -55,8 +55,8 @@ case "$TASK" in ./gradlew clean assemble -PcheckerFramework=true ;; "CHECK_EXAMPLES_LICENSE") - curl -L -o checkstyle-8.0-all.jar https://github.com/checkstyle/checkstyle/releases/download/checkstyle-8.0/checkstyle-8.0-all.jar - java -DrootDir=. -jar checkstyle-8.0-all.jar -c buildscripts/checkstyle.xml examples/src/ + curl -L -o checkstyle-8.12-all.jar https://github.com/checkstyle/checkstyle/releases/download/checkstyle-8.12/checkstyle-8.12-all.jar + java -DrootDir=. -jar checkstyle-8.12-all.jar -c buildscripts/checkstyle.xml examples/src/ ;; "CHECK_EXAMPLES_FORMAT") curl -L -o google-java-format-1.5-all-deps.jar https://github.com/google/google-java-format/releases/download/google-java-format-1.5/google-java-format-1.5-all-deps.jar |