merge queue: checking #309 on main (bcfc509) - #342

Closed

mergify[bot] wants to merge 3 commits into

mainfrom

mergify/merge-queue/c7108d88e4

Commits on Sep 10, 2026

hook+gate: catch the shape of a retraction, and stop the vacuous coverage pass

edbert-bot
and
claude
committed
a914895
fix CI: keep engine Python off corpus/ paths and out of comments

edbert-bot
and
claude
committed
b47fcd2
Merge of #309
mergify[bot]
committed
e38b39d