diff --git a/.travis.yml b/.travis.yml index d3615f4ff0966d697a8249dfcac45baefe8b615e..f4843823325ead914ab74e33a68747c467ef322e 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