Tracking ci.yml changes from master.

Author: rwgk

.github/workflows/ci_sh_def.yml

@@ -691,7 +691,7 @@ jobs:
 
 
   # This verifies that the documentation is not horribly broken, and does a
-  # basic sanity check on the SDist.
+  # basic validation check on the SDist.
   doxygen:
     name: "Documentation build test"
     runs-on: ubuntu-latest

.github/workflows/ci_sh_def.yml.patch

@@ -1,5 +1,5 @@
---- ci.yml	2022-03-10 10:32:48.282365464 -0800
-+++ ci_sh_def.yml	2022-03-10 10:38:55.058650883 -0800
+--- ci.yml	2022-03-18 00:17:40.217744123 -0700
++++ ci_sh_def.yml	2022-03-18 00:19:11.625791651 -0700
 @@ -1,4 +1,16 @@
 -name: CI
 +# PLEASE KEEP THIS GROUP OF FILES IN SYNC AT ALL TIMES: