[release] opam via dune-release

.github/workflows/cd-opam.yml

@@ -0,0 +1,45 @@
+on:
+  pull_request:
+  release:
+    types:
+    - created
+  workflow_dispatch:
+    inputs:
+      extra_options:
+        description: "Arguments to dune-release"
+        required: true
+        default: '--dry-run -t TAG -v OPAM_VERSION'
+
+env:
+  OPTIONS: -v -C language-server --skip-build -p vscoq-language-server --no-auto-open --dry-run
+
+jobs:
+  publish:
+    strategy:
+      matrix:
+        os: [ubuntu-latest]
+        ocaml-compiler: [4.14.x]
+    runs-on: ${{ matrix.os }}
+    steps:
+    - name: Checkout
+      uses: actions/checkout@v3
+
+    - name: Use OCaml ${{ matrix.ocaml-compiler }}
+      uses: avsm/setup-ocaml@v2
+      with:
+        ocaml-compiler: ${{ matrix.ocaml-compiler }}
+
+    - name: Install dune-release
+      run: opam install dune-release
+
+    - name: Set EXTRA_OPTIONS
+      if: ${{ github.event.inputs.extra_options != '' }}
+      run: echo "EXTRA_OPTIONS=${{ github.event.inputs.options }}" >> $GITHUB_ENV
+
+    - name: Publish
+      #if: success() && startsWith(github.ref, 'refs/tags/')
+      run: |
+        eval $(opam env)
+        dune-release $OPTIONS $EXTRA_OPTIONS
+      env:
+        DUNE_RELEASE_GITHUB_TOKEN: ${{ secrets.DUNE_GH_TOKEN }}

.github/workflows/cd.yml

@@ -1,3 +1,4 @@
+error
 on:
   release:
     types:

.github/workflows/ci.yml

@@ -1,3 +1,4 @@
+error
 on:
   push:
     branches: [ main ]