diff --git a/.github/workflows/integration.yml b/.github/workflows/integration.yml index 9ef9ef1429..f2aaa5b634 100644 --- a/.github/workflows/integration.yml +++ b/.github/workflows/integration.yml @@ -10,9 +10,7 @@ on: - requested pull_request: types: - # it probably makes more sense to use the review requested feature on one of the bot accounts - # - labeled - - review_requested + - labeled defaults: run: @@ -24,8 +22,7 @@ jobs: # NOTE: the name of the special label is hardcoded here # it would be better to extract it to a more global location, e.g. the workflow-level env context, # but the env context is not available in job-level if expressions (only step-level ones) - # if: (github.event.name != 'pull_request') || contains(github.event.label.name, 'approved') - if: (github.event.action != 'review_requested') || (github.event.requested_reviewer.login == 'idaes-debug') + if: (github.event.action != 'labeled') || (github.event.label.name == 'CI:run-integration') runs-on: ubuntu-latest steps: - name: Notify