wip

coq · Aug 7, 2023 · c18a031 · c18a031
1 parent 4b53c33
commit c18a031
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/cd-opam.yml b/.github/workflows/cd-opam.yml
@@ -11,7 +11,7 @@ on:
         default: '--dry-run -t TAG -v OPAM_VERSION'
 
 env:
-  OPTIONS: --skip-build -p vscoq-language-server --no-auto-open --draft --dry-run
+  OPTIONS: -v -C language-server --skip-build -p vscoq-language-server --no-auto-open --draft --dry-run
 
 jobs:
   publish:
@@ -39,7 +39,6 @@ jobs:
     - name: Publish
       #if: success() && startsWith(github.ref, 'refs/tags/')
       run: |
-        cd language-server
         eval $(opam env)
         dune-release $OPTIONS $EXTRA_OPTIONS
       env: