Tracking ci.yml changes from master.

Author: rwgk

.github/workflows/ci_sh_def.yml

@@ -225,7 +225,7 @@ jobs:
     - uses: actions/checkout@v4
 
     - name: Setup Python ${{ matrix.python-version }} (deadsnakes)
-      uses: deadsnakes/action@v3.0.1
+      uses: deadsnakes/action@v3.1.0
       with:
         python-version: ${{ matrix.python-version }}
         debug: ${{ matrix.python-debug }}

.github/workflows/ci_sh_def.yml.patch

@@ -1,5 +1,5 @@
---- ci.yml	2023-10-20 00:00:26.619833296 -0700
-+++ ci_sh_def.yml	2023-10-20 00:00:43.927801556 -0700
+--- ci.yml	2023-12-01 21:59:50.570956290 -0800
++++ ci_sh_def.yml	2023-12-01 22:00:43.098860727 -0800
 @@ -1,4 +1,16 @@
 -name: CI
 +# PLEASE KEEP THIS GROUP OF FILES IN SYNC AT ALL TIMES: