From 58fa57d2a95e5e45ee4b0e209d486c2668f7b681 Mon Sep 17 00:00:00 2001 From: Douglas Raillard Date: Thu, 25 May 2023 01:12:32 +0100 Subject: [PATCH] .github/workflows/preview.yml: Allow triggering manually --- .github/workflows/preview.yml | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/.github/workflows/preview.yml b/.github/workflows/preview.yml index 581910663..130def5bb 100644 --- a/.github/workflows/preview.yml +++ b/.github/workflows/preview.yml @@ -3,10 +3,13 @@ name: preview on: # Run the workflow when any branch is updated, since we can't seem to filter # on the preview branches and main only. - - push + - push: null # Whenever a pull request is labeled or unlabeled. - - pull_request + - pull_request: null + + # To be able to manually trigger the job from GitHub UI + workflow_dispatch: null permissions: # Necessary to be able to push to the repo @@ -19,7 +22,7 @@ jobs: # https://github.com/actions/virtual-environments runs-on: ubuntu-latest - if: ${{ github.event.label.name == 'preview' || (github.event.action == 'push' && contains(github.event.pull_request.labels.*.name, 'preview')) }} + if: ${{ github.event.label.name == 'preview' || (github.event.action == 'push' && contains(github.event.pull_request.labels.*.name, 'preview')) || github.event.inputs }} steps: -- GitLab