1 files changed, 11 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml
index b71f4cc85..3b90f7cf4 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -66,6 +66,17 @@ env:
 matrix:
 
   include:
+    - env:
+      - TEST_TARGET="lint"
+      install: []
+      before_script: []
+      addons:
+      apt:
+        sources: []
+        packages: []
+      script:
+        - dev/lint-repository.sh
+
     # Full Coq test-suite with two compilers
     - env:
       - TEST_TARGET="test-suite"