Tracking ci.yml changes from master.

Author: rwgk

.github/workflows/ci_sh_def.yml.patch

@@ -1,5 +1,5 @@
---- ci.yml	2022-11-18 08:56:49.472080960 -0800
-+++ ci_sh_def.yml	2022-11-18 09:00:36.986976092 -0800
+--- ci.yml	2022-11-30 23:31:31.956069080 -0800
++++ ci_sh_def.yml	2022-11-30 23:35:51.259558625 -0800
 @@ -1,4 +1,16 @@
 -name: CI
 +# PLEASE KEEP THIS GROUP OF FILES IN SYNC AT ALL TIMES: