Skip to content

ci: remove the PR title lint workflow - #32

Merged
dannysteenman merged 1 commit into
mainfrom
ci/remove-pr-title-lint
Oct 13, 2026
Merged

dannysteenman merged 1 commit into
mainfrom
ci/remove-pr-title-lint

ci: remove the PR title lint workflow

e603d84
Select commit
Loading
Failed to load commit list.