Add coq-released to workflow

sr-lab · Oct 16, 2024 · 5c207c1 · 5c207c1
1 parent 7c829b2
commit 5c207c1
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -51,6 +51,11 @@ jobs:
         opam pin add coq ${{ matrix.coq-version }}
         opam install coq-lsp
 
+    - name: Add coq-released
+      if: steps.cache-opam-restore.outputs.cache-hit != 'true'
+      run: |
+        opam repo add coq-released https://coq.inria.fr/opam/released
+
     - name: Install coq-equations
       if: steps.cache-opam-restore.outputs.cache-hit != 'true'
       run: |