Skip to content

chore: rename PR lint workflow - #4

Merged
philippwallrafen merged 1 commit into
mainfrom
chore/rename-lint-pr-workflow
Oct 6, 2026
Merged

philippwallrafen merged 1 commit into
mainfrom
chore/rename-lint-pr-workflow

chore: rename PR lint workflow

7d46773
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
validate-pr-title
succeeded Oct 6, 2026 in 5s