diff --git a/.github/workflows/audit.yml b/.github/workflows/audit.yml index 3ae9d192f376..5b75d6162c85 100644 --- a/.github/workflows/audit.yml +++ b/.github/workflows/audit.yml @@ -7,6 +7,7 @@ name: Cargo Audit on: pull_request: + merge_group: push: # Run on changes to branches but not tags. branches: diff --git a/.github/workflows/format-check.yml b/.github/workflows/format-check.yml index 5ab7dcb1b9c3..cc13306a4eaf 100644 --- a/.github/workflows/format-check.yml +++ b/.github/workflows/format-check.yml @@ -3,6 +3,7 @@ name: Kani Format Check on: pull_request: + merge_group: push: # Not just any push, as that includes tags. # We don't want to re-trigger this workflow when tagging an existing commit. diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml index dd077eff25e1..a565c9cd4cbe 100644 --- a/.github/workflows/kani.yml +++ b/.github/workflows/kani.yml @@ -3,6 +3,7 @@ name: Kani CI on: pull_request: + merge_group: push: # Not just any push, as that includes tags. # We don't want to re-trigger this workflow when tagging an existing commit. diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 72ef4e2de889..ad2e339f19e1 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -8,6 +8,7 @@ name: Release Bundle on: pull_request: + merge_group: push: branches: - 'main'