diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 36862917..ac86c77d 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -20,6 +20,9 @@ on: - 'LICENSE' - 'papers/**' - 'extra/docker/**' +concurrency: + group: "${{ github.workflow }}-${{ github.event.pull_request.number || github.head_ref || github.ref }}" + cancel-in-progress: true permissions: contents: read env: diff --git a/.github/workflows/lint-opam.yml b/.github/workflows/lint-opam.yml index 8b100a71..a651b8e8 100644 --- a/.github/workflows/lint-opam.yml +++ b/.github/workflows/lint-opam.yml @@ -3,6 +3,9 @@ on: pull_request: paths: - '**.opam' +concurrency: + group: "${{ github.workflow }}-${{ github.event.pull_request.number || github.head_ref || github.ref }}" + cancel-in-progress: true permissions: contents: read jobs: diff --git a/.github/workflows/refresh-cache.yml b/.github/workflows/refresh-cache.yml index e4951bc4..49a81d6a 100644 --- a/.github/workflows/refresh-cache.yml +++ b/.github/workflows/refresh-cache.yml @@ -2,6 +2,9 @@ name: Refresh cache on: schedule: - cron: 0 1 * * MON +concurrency: + group: "${{ github.workflow }}-${{ github.event.pull_request.number || github.head_ref || github.ref }}" + cancel-in-progress: true permissions: contents: read env: