Skip to content

ci: gate a merge on the checks a reviewer cannot run by eye - #8

Merged
robrigo merged 4 commits into
mainfrom
ci/corpus-checks
Aug 18, 2026
Merged

ci: gate a merge on the checks a reviewer cannot run by eye#8
robrigo merged 4 commits into
mainfrom
ci/corpus-checks

Commits

Commits on Aug 18, 2026