Skip to content

proof(repro): #4674 fails without ACP unknown-usage enrichment (expected red) - #12

Open
LeoLin990405 wants to merge 3 commits into
proof-basefrom
proof/grok-4674-fix-reverted
Open

proof(repro): #4674 fails without ACP unknown-usage enrichment (expected red)#12
LeoLin990405 wants to merge 3 commits into
proof-basefrom
proof/grok-4674-fix-reverted

test(repro): show #4674 regression fails without ACP enrichment wiring

179adfe
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar