Skip to content

Let a PR beat earn CLEAN from a run the gateway signed for - #107

Merged
jacekradko merged 2 commits into
mainfrom
jacek/dreamy-goodall-wh12a3
Oct 22, 2026
Merged

jacekradko merged 2 commits into
mainfrom
jacek/dreamy-goodall-wh12a3

Merge main: keep the attested proof kinds beside the second-read verd…

9afeac9
Select commit
Loading
Failed to load commit list.