From f05495ca096630ba3c7a9d555dd8a9658d50c502 Mon Sep 17 00:00:00 2001 From: Romain Tetley Date: Wed, 15 Jan 2025 11:36:45 +0100 Subject: [PATCH] fix: to be treated as booleans, we must use inputs and not github.event.inputs --- .github/workflows/publish-server.yml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/.github/workflows/publish-server.yml b/.github/workflows/publish-server.yml index 3b2d588b..3ada664b 100644 --- a/.github/workflows/publish-server.yml +++ b/.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,10 +45,10 @@ 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 @@ -56,10 +56,10 @@ jobs: 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