Skip to content

[Chore] Remove the completion check - #3139

Merged
mrubens merged 3 commits into
developfrom
chore/remove-completion-gate
Sep 22, 2026
Merged

[Chore] Remove the completion check#3139
mrubens merged 3 commits into
developfrom
chore/remove-completion-gate

Give the proof judge the shipped diff so it can still detect drift

e118987
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar