From efc7d56a1cac34a0d2779780e2f2b45fcd2fa851 Mon Sep 17 00:00:00 2001 From: Kenji Maillard Date: Mon, 29 Jan 2024 11:27:26 +0100 Subject: [PATCH] Fix CI --- .github/workflows/build.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 47f2a3a..de27e1e 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -28,6 +28,7 @@ jobs: - run: opam repo add coq-released https://coq.inria.fr/opam/released - run: opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev + - run: opam update - run: opam install . --deps-only --with-doc --with-test