Commit 16846e80 authored by Heiko Becker's avatar Heiko Becker

Update .gitlab-ci.yml to make artifacts expire

parent 5dbe22dc
...@@ -11,16 +11,18 @@ compile-coq: ...@@ -11,16 +11,18 @@ compile-coq:
stage: compile stage: compile
script: ./scripts/ci-coq.sh script: ./scripts/ci-coq.sh
artifacts: artifacts:
paths: expire_in: 1 week
- coq/ paths:
- coq/
compile-hol: compile-hol:
stage: compile stage: compile
script: ./scripts/ci-hol4.sh script: ./scripts/ci-hol4.sh
artifacts: artifacts:
paths: expire_in: 1 week
- hol4/ paths:
- HOL4/ - hol4/
- HOL4/
regression-tests: regression-tests:
stage: regression stage: regression
......
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