ci: workflow hygiene — restore the header's comment marker #203

Merged
dcharlot merged 1 commit from ci/hygiene-comment into main 2026-10-10 04:33:12 -04:00

View file

@ -2,7 +2,7 @@ name: workflow hygiene
# Properties of the workflows themselves, checked rather than remembered.
#
Two properties today. The first: every workflow declares a concurrency group
# Two properties today. The first: every workflow declares a concurrency group
# that varies by ref. None of them did until 2026-10-05, and the consequence was not
# a slow build — it was that CI stopped being usable for anyone. A session
# pushing four versions of a branch queued four complete sets of runs, all of