diff --git a/.travis.yml b/.travis.yml index 64452085026a77b5329802359501584bfcd4ff06..d3615f4ff0966d697a8249dfcac45baefe8b615e 100644 --- a/.travis.yml +++ b/.travis.yml @@ -1,5 +1,5 @@ language: java - +sudo: true script: gradle tla2b check uploadArchives before_install: