From 4cdd97c5320e953be61bbe92dbe1c8bf2fa62a39 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Mon, 26 Jul 2021 17:46:12 +1000 Subject: [PATCH] github: use correct label field The trigger matched against the whole label object, not the name as it should have. Signed-off-by: Gerwin Klein --- .github/workflows/proof.yml | 2 +- .github/workflows/sel4test-sim.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/proof.yml b/.github/workflows/proof.yml index d378e4ee5..2411bee40 100644 --- a/.github/workflows/proof.yml +++ b/.github/workflows/proof.yml @@ -16,7 +16,7 @@ jobs: # don't run again when other labels are added if: ${{ github.event.action != 'labeled' && contains(github.event.pull_request.labels.*.name, 'proof-test') || - github.event.action == 'labeled' && github.event.label == 'proof-test' }} + github.event.action == 'labeled' && github.event.label.name == 'proof-test' }} strategy: fail-fast: false matrix: diff --git a/.github/workflows/sel4test-sim.yml b/.github/workflows/sel4test-sim.yml index a50bde34f..a25ecf322 100644 --- a/.github/workflows/sel4test-sim.yml +++ b/.github/workflows/sel4test-sim.yml @@ -48,7 +48,7 @@ jobs: contains(github.event.pull_request.labels.*.name, 'hw-build') || github.event_name == 'pull_request' && github.event.action == 'labeled' && - github.event.label == 'hw-build' }} + github.event.label.name == 'hw-build' }} strategy: fail-fast: false matrix: