Merge pull request #981 from coq/fix-cd-pipeline

fix: to be treated as booleans, we must use inputs vs gitbub.event

.github/workflows/publish-server.yml

@@ -5,7 +5,7 @@ on:
         description: 'Tag to use for release'
         required: true
       prerelease:
-        description: 'Is this a pre-release'
+        description: 'Publish as pre-release'
         type: boolean
         required: true
         default: false
@@ -45,21 +45,21 @@ jobs:
         printf "$OPAM_PUBLISH_TOKEN" > ~/.opam/plugins/opam-publish/vscoqbot.token
 
     - name: Publish release on opam
-      if: ${{ !github.event.inputs.prerelease }}
+      if: ${{ !inputs.prerelease }}
       run: |
         eval $(opam env)
-        VERSION_SLUG="${{ github.event.inputs.tag }}"
+        VERSION_SLUG="${{ inputs.tag }}"
         VERSION="${VERSION_SLUG#v}"
         cd language-server
         git config --global user.name vscoqbot
         git config --global user.email [email protected]
         opam publish --no-confirmation --no-browser -v $VERSION https://github.com/coq/vscoq/releases/download/$VERSION_SLUG/vscoq-language-server-$VERSION.tar.gz vscoq-language-server.opam
 
     - name: Publish prerelease on coq/opam
-      if: ${{ github.event.inputs.prerelease }}
+      if: ${{ inputs.prerelease }}
       run: |
         eval $(opam env)
-        VERSION_SLUG="${{ github.event.inputs.tag }}"
+        VERSION_SLUG="${{ inputs.tag }}"
         VERSION="${VERSION_SLUG#v}"
         cd language-server
         git config --global user.name vscoqbot