From b7ad2e0c669b5648ff32a9bb0dbc56337ec1ac77 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Wed, 1 Nov 2023 08:16:05 +1100 Subject: [PATCH] github: fix sel4bench trigger in GitHub workflow Signed-off-by: Gerwin Klein --- .github/workflows/sel4bench-pr.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/sel4bench-pr.yml b/.github/workflows/sel4bench-pr.yml index 56825142d..9da714e98 100644 --- a/.github/workflows/sel4bench-pr.yml +++ b/.github/workflows/sel4bench-pr.yml @@ -20,10 +20,10 @@ jobs: runs-on: ubuntu-latest if: ${{ github.event_name == 'pull_request_target' && github.event.action != 'labeled' && - contains(github.event.pull_request.labels.*.name, 'hw-bench' || + contains(github.event.pull_request.labels.*.name, 'hw-bench') || github.event_name == 'pull_request_target' && github.event.action == 'labeled' && - github.event.label.name == 'hw-bench') }} + github.event.label.name == 'hw-bench' }} outputs: xml: ${{ steps.repo.outputs.xml }} steps: