Commit 135918f1 authored by Heiko Becker's avatar Heiko Becker

Update .gitlab-ci.yml

parent 4ce5e709
......@@ -11,6 +11,7 @@ stages:
cache:
paths:
- "HOL4/"
- "hol4/cakeml"
compile-coq:
stage: compile
......
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