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: