Tracking ci.yml changes from master.

Author: rwgk

.github/workflows/ci_sh_def.yml

@@ -1143,7 +1143,7 @@ jobs:
         uses: jwlawson/actions-setup-cmake@v2.0
 
       - name: Install ninja-build tool
-        uses: seanmiddleditch/gha-setup-ninja@v4
+        uses: seanmiddleditch/gha-setup-ninja@v5
 
       - name: Run pip installs
         run: |

.github/workflows/ci_sh_def.yml.patch

@@ -1,5 +1,5 @@
---- ci.yml	2024-06-10 13:25:02.926609611 -0700
-+++ ci_sh_def.yml	2024-06-10 15:09:50.700252443 -0700
+--- ci.yml	2024-06-19 10:06:18.454361731 -0700
++++ ci_sh_def.yml	2024-06-19 10:07:59.514269934 -0700
 @@ -1,4 +1,16 @@
 -name: CI
 +# PLEASE KEEP THIS GROUP OF FILES IN SYNC AT ALL TIMES: