Skip to content

Fix attestation source divergence (leanSpec PR #506)#256

Merged
pablodeymo merged 3 commits into
mainfrom
fix-attestation-source-divergence
Apr 1, 2026
Merged

Fix attestation source divergence (leanSpec PR #506)#256
pablodeymo merged 3 commits into
mainfrom
fix-attestation-source-divergence

Revert LEAN_SPEC_COMMIT_HASH update

719f864
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar