Skip to content

Repository navigation

feat: catch CI's commonest failures before the push - #1147

Merged
REPPL merged 22 commits into
mainfrom
fix/catch-ci-failures-before-push
Oct 29, 2026
Merged

feat: catch CI's commonest failures before the push#1147
REPPL merged 22 commits into
mainfrom
fix/catch-ci-failures-before-push

docs: keep AGENTS.md under the smallest reader's cap after main grew it

b173474
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar