From 5d949b703c0bcfe7896aa2c9fd282c7d31f7233c Mon Sep 17 00:00:00 2001
From: "Ralf W. Grosse-Kunstleve" <rwgk@google.com>
Date: Wed, 27 Oct 2021 10:55:24 -0700
Subject: [PATCH] Separate concurrency groups for ci.yml, ci_sh_def.yml. Also
 changing `name` back from `CI-SH-AVL` to `CI` because I saw the github.com
 web UI getting confused if there are different `name`s for the same .yml.

---
 .github/workflows/ci.yml              |  4 ++--
 .github/workflows/ci_sh_def.yml       |  2 +-
 .github/workflows/ci_sh_def.yml.patch | 15 ++++++++++++---
 3 files changed, 15 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 32867b1cd..7f49554d6 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,4 +1,4 @@
-name: CI-SH-AVL
+name: CI
 
 on:
   workflow_dispatch:
@@ -11,7 +11,7 @@ on:
       - v*
 
 concurrency:
-  group: test-${{ github.ref }}
+  group: test-sh-avl${{ github.ref }}
   cancel-in-progress: true
 
 env:
diff --git a/.github/workflows/ci_sh_def.yml b/.github/workflows/ci_sh_def.yml
index 6a8eed004..a2438dc74 100644
--- a/.github/workflows/ci_sh_def.yml
+++ b/.github/workflows/ci_sh_def.yml
@@ -23,7 +23,7 @@ on:
       - v*
 
 concurrency:
-  group: test-${{ github.ref }}
+  group: test-sh-def-${{ github.ref }}
   cancel-in-progress: true
 
 env:
diff --git a/.github/workflows/ci_sh_def.yml.patch b/.github/workflows/ci_sh_def.yml.patch
index 4eecc4e1e..15304e74d 100644
--- a/.github/workflows/ci_sh_def.yml.patch
+++ b/.github/workflows/ci_sh_def.yml.patch
@@ -1,7 +1,7 @@
---- ci.yml	2021-10-26 12:10:34.834324858 -0700
-+++ ci_sh_def.yml	2021-10-26 12:12:26.000136653 -0700
+--- ci.yml	2021-10-27 10:49:16.082259700 -0700
++++ ci_sh_def.yml	2021-10-27 10:51:56.216396775 -0700
 @@ -1,4 +1,16 @@
--name: CI-SH-AVL
+-name: CI
 +# PLEASE KEEP THIS GROUP OF FILES IN SYNC AT ALL TIMES:
 +#     ci.yml
 +#     ci_sh_def.yml
@@ -18,6 +18,15 @@
  
  on:
    workflow_dispatch:
+@@ -11,7 +23,7 @@
+       - v*
+ 
+ concurrency:
+-  group: test-sh-avl${{ github.ref }}
++  group: test-sh-def-${{ github.ref }}
+   cancel-in-progress: true
+ 
+ env:
 @@ -103,6 +115,7 @@
          -DDOWNLOAD_CATCH=ON
          -DDOWNLOAD_EIGEN=ON