Fix CI

uds-psl · Jan 29, 2024 · efc7d56 · efc7d56
1 parent 8b1f675
commit efc7d56
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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