Skip to content

Make the correctness evidence reproducible in CI, and pin the shareability guarantee - #44

Merged
jonyoder merged 2 commits into
mainfrom
ci/reproducible-evidence
Aug 14, 2026
Merged

Make the correctness evidence reproducible in CI, and pin the shareability guarantee#44
jonyoder merged 2 commits into
mainfrom
ci/reproducible-evidence

fix(test): re-verify the discrimination on the rebased base, and quot…

3216009
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar