Skip to content

fix: widen the ts-ci PR filter to match its own push filter; consume contractViolations - #40

Merged
mdheller merged 3 commits into
mainfrom
fix/ts-ci-filter-and-contract-violations
Jul 31, 2026
Merged

fix: widen the ts-ci PR filter to match its own push filter; consume contractViolations#40
mdheller merged 3 commits into
mainfrom
fix/ts-ci-filter-and-contract-violations

Commits

Commits on Jul 31, 2026