diff options
| author | Loïc Hoguin <[email protected]> | 2024-11-08 12:13:00 +0100 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2024-11-08 12:13:28 +0100 |
| commit | b7362f32630138fbbfc44a05c27c084fbc79ca3d (patch) | |
| tree | 3f37ef9961c23c756bfa43253f10aa97853f4055 | |
| parent | 5c74869abcd7a7314daf94fef26400bb1f8baaa1 (diff) | |
| download | cowboy-b7362f32630138fbbfc44a05c27c084fbc79ca3d.tar.gz cowboy-b7362f32630138fbbfc44a05c27c084fbc79ca3d.tar.bz2 cowboy-b7362f32630138fbbfc44a05c27c084fbc79ca3d.zip | |
CI: Add concurrency rules
| -rw-r--r-- | .github/workflows/ci.yaml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index e4c6389..45d34e3 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -11,6 +11,10 @@ on: ## Every Monday at 2am. - cron: 0 2 * * 1 +concurrency: + group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }} + cancel-in-progress: true + env: CI_ERLANG_MK: 1 |