Skip to content

ci(github-actions): lint PR title instead of commits#1497

Merged
fengelniederhammer merged 3 commits intomainfrom
lintPrTitle
Jan 14, 2026
Merged

ci(github-actions): lint PR title instead of commits#1497
fengelniederhammer merged 3 commits intomainfrom
lintPrTitle

Commits

Commits on Jan 13, 2026