Skip to content

Delete the dispatch-record lookup; the reviewer reproduces the counterexample - #49

Merged
hieuphung97 merged 3 commits into
mainfrom
fix/reviewer-reproduces-counterexample
Sep 5, 2026
Merged

Delete the dispatch-record lookup; the reviewer reproduces the counterexample#49
hieuphung97 merged 3 commits into
mainfrom
fix/reviewer-reproduces-counterexample

Correct the record's history: one delivery added one branch, not two.

bf7ced8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar