-
Notifications
You must be signed in to change notification settings - Fork 446
Closed
Labels
Description
And maybe I would also add a concurrency check. If a commit is pushed while testing, we should kill any other existing PR. Something like
concurrency:
group: ${{ github.workflow }}-${{ github.event_name }}-${{ github.event.pull_request.number || github.run_id }}
cancel-in-progress: trueBtw, I'm not sure why we would want a workflow_dispath trigger here. And if you removed "workflow_dispatch", the group could simply be ${{ github.workflow }}-${{ github.event.pull_request.number}}. But I don't feel strongly about this, so I'm ok keeping workflow_dispatch.
Originally posted by @bartgol in #6637 (comment)