Commit 7b77c32e authored by Heiko Becker's avatar Heiko Becker

Make HOL4 state an artifact and not a cached value to be sure to not break the heaps

parent 81926c5e
......@@ -7,10 +7,6 @@ stages:
- compile
- regression
cache:
paths:
- "HOL4/"
compile-coq:
stage: compile
script: ./scripts/ci-coq.sh
......@@ -24,6 +20,7 @@ compile-hol:
artifacts:
paths:
- hol4/
- HOL4/
regression-tests:
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