From 8552359c2066ad562bad2ae40a065c7d86d3188e Mon Sep 17 00:00:00 2001 From: Lionel Rieg <lionel.rieg@univ-grenoble-alpes.fr> Date: Fri, 30 Aug 2024 10:45:39 +0200 Subject: [PATCH] Add libhyps to CI --- .gitlab-ci.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 8663b9f6..33aa9257 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -10,6 +10,7 @@ stages: - opam update -y - opam config list - opam repo list + - opam install coq-libhyps - opam list script: - sudo chown -R coq:coq "$CI_PROJECT_DIR" -- GitLab