diff --git a/.travis.yml b/.travis.yml
index 477bac2c9859d28b64b40a43f20e5cabdadbd381..83e78fe790a03ba847bb65b661e52c0ba1362204 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,4 +1,7 @@
 language: java
+
+script: gradle tla2b check uploadArchives
+
 before_install:
 - openssl aes-256-cbc -pass pass:$ENCRYPTION_PASSWORD -in secring.gpg.enc -out secring.gpg
   -d