Release v2.1.0-rc.1 · openvm-org/openvm · GitHub

Repository navigation

v2.1.0-rc.1
f08bf28
Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.

GPG key ID: B5690EEEBB952194

Verified
Learn about vigilant mode
Choose a tag to compare

Filter

View all tags

v2.1.0-rc.1

v2.1.0-rc.1
f08bf28
Choose a tag to compare

Filter

View all tags
Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.

GPG key ID: B5690EEEBB952194

Verified
Learn about vigilant mode

stephenh-axiom-xyz tagged this 18 Sep 15:01

chore: bump certified verifier to lean4:v4.34.0 and latest (#3159)

Assets 2