adding a third stage to the travis build

leanprover-community · Aug 27, 2018 · fb913fb · fb913fb
1 parent 58cfe9f
commit fb913fb
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -26,7 +26,11 @@ install:
 
 jobs:
   include:
-    - stage: Pre-build
+    - stage: Pre-build-1
+      script:
+        - travis_long "timeout 2400 leanpkg test" | awk 'BEGIN{e=0;c=-1}c&&--c;/error/{if (!e) {c=30;e=1}};{if (!c) {exit 1}}'
+
+    - stage: Pre-build-2
       script:
         - travis_long "timeout 2400 leanpkg test" | awk 'BEGIN{e=0;c=-1}c&&--c;/error/{if (!e) {c=30;e=1}};{if (!c) {exit 1}}'