diff --git a/.github/workflows/ci_sh_def.yml.patch b/.github/workflows/ci_sh_def.yml.patch index 332df83d7..5f45a344a 100644 --- a/.github/workflows/ci_sh_def.yml.patch +++ b/.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: