Commit eb519ec9 authored by Joachim Bard's avatar Joachim Bard
Browse files

Syntax fix in .gitlab-ci.yml

parent 15c1bfb7
...@@ -11,7 +11,7 @@ compile-coq: ...@@ -11,7 +11,7 @@ compile-coq:
stage: compile stage: compile
script: ./scripts/ci-coq.sh script: ./scripts/ci-coq.sh
artifacts: artifacts:
expire: 1 week expire_in: 1 week
paths: paths:
- coq/ - coq/
...@@ -19,7 +19,7 @@ compile-hol: ...@@ -19,7 +19,7 @@ compile-hol:
stage: compile stage: compile
script: ./scripts/ci-hol4.sh script: ./scripts/ci-hol4.sh
artifacts: artifacts:
expire: 3 weeks expire_in: 3 weeks
paths: paths:
- hol4/ - hol4/
- HOL4/ - HOL4/
......
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