From 86babc4a083d980023eed4f1387b3bc9f0906b64 Mon Sep 17 00:00:00 2001 From: Jens Bendisposto <jens@bendisposto.de> Date: Tue, 18 Aug 2015 09:42:16 +0200 Subject: [PATCH] Create .travis.yml --- .travis.yml | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 .travis.yml diff --git a/.travis.yml b/.travis.yml new file mode 100644 index 000000000..2082aee2d --- /dev/null +++ b/.travis.yml @@ -0,0 +1,5 @@ +language: java + +install: /bin/true + +script: gradle -b tlatools/build.gradle tlatools -- GitLab