Skip to content

ci: add required CI gate - #796

Merged
lionello merged 2 commits into
mainfrom
codex/required-ci-gate
Nov 13, 2026
Merged

ci: add required CI gate#796
lionello merged 2 commits into
mainfrom
codex/required-ci-gate

fix(ci): correctly filter paginated PR files

ce61f54
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar