Commit 052321da authored by Heiko Becker's avatar Heiko Becker

CI fixes 1st round

parent 1a95eddd
......@@ -5,7 +5,7 @@ stages:
compile-coq:
stage: compile
script: cd coq && ./configure_coq.sh && make
script: ./scripts/ci-coq.sh
compile-hol:
stage: compile
......
#!/bin/sh
eval `opam config env`
cd ../coq
./configure_coq.sh
make -j
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