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 1211bc0..3c94592 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -5,6 +5,13 @@
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 482eb5c..6ec3f42 100644
--- a/.github/workflows/codeql-analysis.yml
+++ b/.github/workflows/codeql-analysis.yml
@@ -14,6 +14,13 @@
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 dd99a31..6d23fa8 100644
--- a/src/version.c
+++ b/src/version.c
@@ -750,6 +750,8 @@
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
+ 3891,
+/**/
3890,
/**/
3889,