diff --git a/.travis.yml b/.travis.yml new file mode 100644 index 0000000000000000000000000000000000000000..2082aee2dfd8d33bfa45a118e22c7a565472d2a9 --- /dev/null +++ b/.travis.yml @@ -0,0 +1,5 @@ +language: java + +install: /bin/true + +script: gradle -b tlatools/build.gradle tlatools