Skip to content

omni-v0.2.10

Compare
Choose a tag to compare
@github-actions github-actions released this 04 Jul 18:00
· 57 commits to main since this release
c48d622
feat: removed `add_provers` method (#364)

* fix: add_provers role

* feat: removed `add_provers` completely

* chore: bumped omni-prover version

* chore: switched to workspace version

* chore: removed unused dep