Skip to content

ci(scripts): advisory check that names in a PR description exist at the head - #1092

Merged
SamuelSchlesinger merged 1 commit into
mainfrom
ci/check-pr-names
Oct 25, 2026
Merged

SamuelSchlesinger merged 1 commit into
mainfrom
ci/check-pr-names

ci(scripts): advisory check that names in a PR description exist at t…

b93e789
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 3s