Skip to content

Make CI diagnostics fatal - #5

Merged
chrisbazley merged 1 commit into
mainfrom
ci-diagnostics-as-errors
Sep 28, 2026
Merged

chrisbazley merged 1 commit into
mainfrom
ci-diagnostics-as-errors

Commits

  1. Commits on Sep 28, 2026