Skip to content

chore: normalize PR title workflow identifiers - #3

Merged
philippwallrafen merged 3 commits into
mainfrom
chore/machine-readable-pr-title
Oct 6, 2026
Merged

philippwallrafen merged 3 commits into
mainfrom
chore/machine-readable-pr-title

chore: remove legacy PR title workflow filename

49d6702
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 4s