Merge pull request Deducteam#127 from Deducteam/travis-cron

Add monthly build of Dedukti with full tests
GuillaumeGen · Sep 12, 2018 · bf98727 · bf98727
2 parents 0b65d71 + 09d24ab
commit bf98727
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -29,7 +29,13 @@ install:
   - make install
 script:
   - make tests
-  - if [[ "$OCAML_VERSION" == "4.06.0" ]]; then make light_tests; fi
+  - if [[ "$OCAML_VERSION" == "4.06.0" ]];
+      then
+        if [[ "$TRAVIS_EVENT_TYPE" == "cron" ]];
+          then make full_tests;
+          else make light_tests;
+        fi;
+    fi
 os:
   - linux
 notifications:

diff --git a/GNUmakefile b/GNUmakefile
@@ -211,7 +211,7 @@ zenon_modulo: all
 light_tests: all matita-light dklib holide
 
 .PHONY: full_tests
-full_tests: light_tests iprover focalide matita dedukti-libraries verine zenon_modulo
+full_tests: light_tests iprover focalide dedukti-libraries verine zenon_modulo
 
 
 #### Cleaning targets ########################################################