ci: fast on branches, exhaustive on the develop → main door - #30

Closed

serialexperimentslainnnn wants to merge 4 commits into

feature/update-pipelines

Commits on Aug 5, 2026

ci: stop re-running every PR on each merge, and cache on topic branches
serialexperimentslainnnn
committed
57a9456

Commits on Aug 6, 2026

ci: run the verifier only on develop and main
serialexperimentslainnnn
committed
9398de2
ci: put the exhaustive gate on the develop -> main door
serialexperimentslainnnn
committed
20184bd
ci: only the two test suites gate a branch; everything gates main
serialexperimentslainnnn
committed
c66700b