From: Yegappan Lakshmanan Date: Sat, 25 Dec 2021 11:20:30 +0000 (+0000) Subject: patch 8.2.3891: github CI: workflows may overlap X-Git-Tag: v8.2.3891 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=7f4a628efefd893a3cad3a1fdde340c98360f705;p=vim patch 8.2.3891: github CI: workflows may overlap Problem: Github CI: workflows may overlap. Solution: Cancel previous workflows when starting a new one. (Yegappan Lakshmanan, closes #9400) --- diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 1211bc021..3c9459284 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -5,6 +5,13 @@ on: branches: ['**'] pull_request: +# Cancels all previous workflow runs for pull requests that have not completed. +concurrency: + # The concurrency group contains the workflow name and the branch name for + # pull requests or the commit hash for any other events. + group: ${{ github.workflow }}-${{ github.event_name == 'pull_request' && github.head_ref || github.sha }} + cancel-in-progress: true + jobs: linux: runs-on: ubuntu-18.04 diff --git a/.github/workflows/codeql-analysis.yml b/.github/workflows/codeql-analysis.yml index 482eb5c13..6ec3f420e 100644 --- a/.github/workflows/codeql-analysis.yml +++ b/.github/workflows/codeql-analysis.yml @@ -14,6 +14,13 @@ on: schedule: - cron: '0 18 * * 1' +# Cancels all previous workflow runs for pull requests that have not completed. +concurrency: + # The concurrency group contains the workflow name and the branch name for + # pull requests or the commit hash for any other events. + group: ${{ github.workflow }}-${{ github.event_name == 'pull_request' && github.head_ref || github.sha }} + cancel-in-progress: true + jobs: analyze: name: Analyze diff --git a/src/version.c b/src/version.c index dd99a31d3..6d23fa8fc 100644 --- a/src/version.c +++ b/src/version.c @@ -749,6 +749,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ +/**/ + 3891, /**/ 3890, /**/