From 8a191ea017402e4fdc39f3d2b299d8a5bcc82937 Mon Sep 17 00:00:00 2001
From: Marco Maida <mmaida@mpi-sws.org>
Date: Wed, 11 May 2022 12:33:23 +0200
Subject: [PATCH] CI: add CoqEAL dependency
---
.gitlab-ci.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 3351a0ba2..fa2aa5e14 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -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:
--
GitLab