Skip to content

ci: add dedicated PR lint workflow using pull_request_target - #258

Merged
richardthe3rd merged 4 commits into
mainfrom
claude/add-pr-lint-check-Gl8Ik
May 11, 2026
Merged

ci: add dedicated PR lint workflow using pull_request_target#258
richardthe3rd merged 4 commits into
mainfrom
claude/add-pr-lint-check-Gl8Ik

Commits

Commits on May 11, 2026