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

ci: let dependabot move the action pins the workflow introduces

373c47e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view