Commit 3868698c authored by Heiko Becker's avatar Heiko Becker

Merge branch 'master' of gitlab.mpi-sws.org:AVA/FloVer

parents 7e05f873 aae0ebed
......@@ -7,6 +7,10 @@ stages:
- compile
# - regression
cache:
paths:
- "HOL4/"
compile-coq:
stage: compile
script: ./scripts/ci-coq.sh
......
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