Skip to content

ci(scripts): check_pr_names follow-ups: hypothesis filter, speed, review nits - #1097

Merged
SamuelSchlesinger merged 2 commits into
mainfrom
ci/check-pr-names-followup
Oct 26, 2026
Merged

SamuelSchlesinger merged 2 commits into
mainfrom
ci/check-pr-names-followup

fix(scripts): resolve structure-parent projections in check_pr_names …

0c54249
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
check-title
succeeded Oct 25, 2026 in 2s