From ed1187a78327491bca68c1f2c8dc95ca73cfd486 Mon Sep 17 00:00:00 2001 From: Manuel Martins Date: Mon, 17 Apr 2023 14:18:05 +0200 Subject: [PATCH] #92 more fixes for new release --- .github/workflows/RELEASE.yml | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/.github/workflows/RELEASE.yml b/.github/workflows/RELEASE.yml index d827797a..1c4f382a 100644 --- a/.github/workflows/RELEASE.yml +++ b/.github/workflows/RELEASE.yml @@ -1,10 +1,9 @@ name: RELEASE -# Trigger the workflow on push or pull request +# Trigger the workflow on release, which is created by the release tools locally on: - push: - tags: - - '*' + release: + types: [published] # the `concurrency` settings ensure that not too many CI jobs run in parallel concurrency: @@ -79,7 +78,7 @@ jobs: # GAP="$HOME/gap/bin/gap.sh" bash -x $HOME/ReleaseTools/release-gap-package --force --push --token ${GH_TOKEN} publish_js_python_packages: - needs: gap_release_tools + #needs: gap_release_tools name: Build and Publish plugins runs-on: ubuntu-latest strategy: