wip

coq · Aug 7, 2023 · 4b53c33 · 4b53c33
1 parent eb4a446
commit 4b53c33
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/cd-opam.yml b/.github/workflows/cd-opam.yml
@@ -40,6 +40,7 @@ jobs:
       #if: success() && startsWith(github.ref, 'refs/tags/')
       run: |
         cd language-server
+        eval $(opam env)
         dune-release $OPTIONS $EXTRA_OPTIONS
       env:
         DUNE_RELEASE_GITHUB_TOKEN: ${{ secrets.DUNE_GH_TOKEN }}