Repository navigation

ci: fix formatting failure propagation and cache consumer builds - #159

Merged

gouyt13 merged 2 commits into

mainfrom

ci/fix-gates-and-cache-consumers

Oct 23, 2026

Merged

ci: fix formatting failure propagation and cache consumer builds#159
gouyt13 merged 2 commits into
mainfrom
ci/fix-gates-and-cache-consumers

Commits on Oct 23, 2026
- ci: fail closed on formatting errors and reuse consumer compilations
  gouyt13
  committed
  759bae9
- ci: grant PR label updates the required write permission
  gouyt13
  committed
  c33d5b5