Skip to content

ci: lint PR title instead of commits#989

Merged
fengelniederhammer merged 6 commits intomainfrom
commitlintPrTitle
Jan 13, 2026
Merged

ci: lint PR title instead of commits#989
fengelniederhammer merged 6 commits intomainfrom
commitlintPrTitle

Commits

Commits on Jan 8, 2026