Disallow opam pre-release version

Pre-release version is causing CI issues at the moment so disallowing it.
zapashcanon · Jul 3, 2024 · 6e8ef14 · 6e8ef14
1 parent 2e15b5d
commit 6e8ef14
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -45,7 +45,7 @@ jobs:
           dune-cache: true
           opam-depext: true
           opam-pin: true
-          allow-prerelease-opam: true
+          allow-prerelease-opam: false
       - name: depext
         run: |
           opam install . --depext-only --with-test --with-doc

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -33,7 +33,7 @@ jobs:
           dune-cache: false
           opam-depext: true
           opam-pin: true
-          allow-prerelease-opam: true
+          allow-prerelease-opam: false
       - name: depext
         run: |
           opam install . --depext-only --with-test --with-doc