Repository navigation

ci: added PR title lint workflow - #31

Merged

averikitsch merged 4 commits into

mainfrom

Oct 10, 2025

Merged

ci: added PR title lint workflow#31
averikitsch merged 4 commits into
mainfrom
pr-title-lint

Commits on Oct 9, 2025
- ci: added PR title lint workflow
  twishabansal
  committed
  fee4c03
- Merge branch 'main' into pr-title-lint
  twishabansal
  authored
  60de761
Commits on Oct 10, 2025
- Apply suggestion from @averikitsch
  averikitsch
  authored
  a3d91fe
- Merge branch 'main' into pr-title-lint
  averikitsch
  authored
  8b7139a