diff --git a/.travis.yml b/.travis.yml
index d537a626851a340eb9ae367c3fe46b83080b5252..0335f3b790c0f6eb7ce449e642abefb7d4b1e3bf 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,6 +1,6 @@
 language: java
 
-script: gradle uploadArchives
+script: gradle tla2b check uploadArchives
 
 before_install:
 - openssl aes-256-cbc -pass pass:$ENCRYPTION_PASSWORD -in secring.gpg.enc -out secring.gpg -d