Commit 4c0b242a authored by Heiko Becker's avatar Heiko Becker

Update .gitlab-ci.yml to run on anything that is not a "WIP:" commit

parent dee127fa
......@@ -9,8 +9,8 @@ stages:
compile-coq:
stage: compile
only:
- master
except:
- /^WIP:.*$/
script: ./scripts/ci-coq.sh
artifacts:
expire_in: 24h
......@@ -19,8 +19,8 @@ compile-coq:
compile-hol:
stage: compile
only:
- master
except:
- /^WIP:.*$/
script: ./scripts/ci-hol4.sh
artifacts:
expire_in: 24h
......@@ -29,6 +29,6 @@ compile-hol:
regression-tests:
stage: regression
only:
- master
except:
- /^WIP:.*$/
script: ./scripts/regressiontests.sh
\ No newline at end of file
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment