diff --git a/.github/workflows/format.yml b/.github/workflows/format.yml index 4d0350056f3..3c2d7148f90 100644 --- a/.github/workflows/format.yml +++ b/.github/workflows/format.yml @@ -6,6 +6,7 @@ on: - master - 'feature/**' - '*-lcm' + merge_group: jobs: ocaml-format: diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 79ce257d7f2..f3f7e00a69f 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -6,6 +6,7 @@ on: schedule: # run daily, this refreshes the cache - cron: "13 2 * * *" + merge_group: concurrency: # On new push, cancel old workflows from the same PR, branch or tag: group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }} diff --git a/.github/workflows/other.yml b/.github/workflows/other.yml index c4042638922..52c73729594 100644 --- a/.github/workflows/other.yml +++ b/.github/workflows/other.yml @@ -6,6 +6,7 @@ on: schedule: # run daily, this refreshes the cache - cron: "13 2 * * *" + merge_group: concurrency: # On new push, cancel old workflows from the same PR, branch or tag: group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }} diff --git a/.github/workflows/shellcheck.yaml b/.github/workflows/shellcheck.yaml index c17568d821c..8be332ada23 100644 --- a/.github/workflows/shellcheck.yaml +++ b/.github/workflows/shellcheck.yaml @@ -2,6 +2,7 @@ name: ShellCheck on: pull_request: + merge_group: concurrency: # On new push, cancel old workflows from the same PR, branch or tag: group: sc-${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}