Merge branch 'gen_proofmode' of gitlab.mpi-sws.org:jtassaro/fri-coq into gen_proofmode

0e84d536 · Joseph Tassarotti · dac30a2e · 91abb4a2 · 0e84d536
Commit 0e84d536 authored Mar 09, 2018 by Joseph Tassarotti
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -30,6 +30,7 @@ variables:
  - /^ci/
  except:
  - triggers
+  - schedules

 ## Build jobs