diff options
| -rw-r--r-- | .github/workflows/optional.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/optional.yml b/.github/workflows/optional.yml index 0cd82550f3..655799cec8 100644 --- a/.github/workflows/optional.yml +++ b/.github/workflows/optional.yml @@ -2,6 +2,7 @@ name: optional on: pull_request: types: [labeled, opened, synchronize, reopened] + workflow_dispatch: concurrency: group: ${{ github.workflow }}-${{ github.event_name == 'pull_request' && github.head_ref || github.sha }} @@ -16,7 +17,7 @@ env: jobs: s390x: - if: contains(github.event.pull_request.labels.*.name, 'ci-s390x') + if: contains(github.event.pull_request.labels.*.name, 'ci-s390x') || github.event_name == 'workflow_dispatch' strategy: fail-fast: false matrix: |