Skip to content
Snippets Groups Projects
Commit 8a191ea0 authored by Marco Maida's avatar Marco Maida Committed by Björn Brandenburg
Browse files

CI: add CoqEAL dependency

parent 04dc80da
No related branches found
No related tags found
1 merge request!217Added refinements
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
.gitlab-ci.yml
+ 1
− 1
View file @ 8a191ea0
......@@ -42,7 +42,7 @@ stages:
.install-dependencies:
script:
- opam update
- opam install -y -v -j ${NJOBS} coq-mathcomp-zify
- opam install -y -v -j ${NJOBS} coq-mathcomp-zify coq-coqeal
.make-html:
script:
......
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