diff options
| -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 |