Skip to content

[auto] reflect: narrow-the-scope names the shared-premise step when one gate rejects twice - #289

Merged
EdbertChan merged 2 commits into
mainfrom
stack/EdbertChan/reflect/pstack-premise-20260908/auto-reflect-narrow-scope-names-shared-premise--d0706777
Sep 9, 2026
Merged

[auto] reflect: narrow-the-scope names the shared-premise step when one gate rejects twice#289
EdbertChan merged 2 commits into
mainfrom
stack/EdbertChan/reflect/pstack-premise-20260908/auto-reflect-narrow-scope-names-shared-premise--d0706777

[auto] reflect: narrow-the-scope names the shared-premise step when o…

a30b78a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar