Skip to content

Commit

Permalink
Merge branch 'main' into 557
Browse files Browse the repository at this point in the history
  • Loading branch information
halajohn authored Jan 18, 2025
2 parents 3a70517 + 3b9cc49 commit fd08d27
Showing 1 changed file with 7 additions and 0 deletions.
7 changes: 7 additions & 0 deletions .github/workflows/cancel_on_merged.yml
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,13 @@ jobs:
if: github.event.pull_request.merged == true
runs-on: ubuntu-latest
steps:
# Wait a moment to ensure that all the CI actions we want to cancel have
# been initiated. In the future, consider whether a more precise mechanism
# is needed to ensure that all actions that should be canceled can be
# properly canceled.
- name: Wait for workflows to be initiated
run: sleep 30

- name: Cancel Related Workflow Runs
uses: actions/github-script@v6
with:
Expand Down

0 comments on commit fd08d27

Please sign in to comment.