portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

github: fix sel4bench trigger in GitHub workflow

Browse source 
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2023-11-01 08:16:05 +11:00
parent 5b4fb3e357
commit b7ad2e0c66
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.github/workflows/sel4bench-pr.yml vendored
View file

@ -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: