Skip to content

Run lint only on PRs, not on main#1

Merged
dfalling merged 2 commits into
mainfrom
ci-lint-pr-only
May 23, 2026
Merged

Run lint only on PRs, not on main#1
dfalling merged 2 commits into
mainfrom
ci-lint-pr-only

Commits

Commits on May 23, 2026