From fbfa30387d0e1e6f7cdc82fd19a08e2dbffe8594 Mon Sep 17 00:00:00 2001 From: dgelessus <dgelessus@users.noreply.github.com> Date: Thu, 16 Jan 2020 09:55:27 +0100 Subject: [PATCH] Update .travis.yml to use the Gradle wrapper --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index d3615f4..f484382 100644 --- a/.travis.yml +++ b/.travis.yml @@ -1,6 +1,6 @@ language: java sudo: true -script: gradle tla2b check uploadArchives +script: ./gradlew tla2b check uploadArchives before_install: - openssl aes-256-cbc -pass pass:$ENCRYPTION_PASSWORD -in secring.gpg.enc -out secring.gpg -- GitLab