Skip to content

XL-2: a match lowers every arm (arm list read by the one comma-list reader); MatchLaterArm drop retired - #12383

Merged
gunbai-bot[bot] merged 4 commits into
mainfrom
bright-boar-848/match-arms-on-main
Sep 28, 2026
Merged

XL-2: a match lowers every arm (arm list read by the one comma-list reader); MatchLaterArm drop retired#12383
gunbai-bot[bot] merged 4 commits into
mainfrom
bright-boar-848/match-arms-on-main

Share the arm-list witness producers

1326408
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar