Skip to content

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

Merged
mergify[bot] merged 2 commits into
mainfrom
vacuous-gate-fix
Sep 10, 2026
Merged

hook+gate: catch the shape of a retraction, and stop the vacuous coverage pass#309
mergify[bot] merged 2 commits into
mainfrom
vacuous-gate-fix

fix CI: keep engine Python off corpus/ paths and out of comments

b47fcd2
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar