Commit 41d309cc authored by Heiko Becker's avatar Heiko Becker

Update ci script to check coq 8.8 compatibility

parent 796a3ca8
......@@ -10,7 +10,7 @@ make -j
make clean
#opam switch coq8.8
#eval `opam config env`
#./configure_coq.sh
#make -j
opam switch coq8.8
eval `opam config env`
./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