Skip to content

feat: add version cmd to prover#1992

Merged
sergeytimoshin merged 2 commits intomainfrom
sergey/prover-version
Oct 14, 2025
Merged

feat: add version cmd to prover#1992
sergeytimoshin merged 2 commits intomainfrom
sergey/prover-version

Conversation

@sergeytimoshin
Copy link
Contributor

No description provided.

@coderabbitai
Copy link
Contributor

coderabbitai bot commented Oct 14, 2025

Important

Review skipped

Auto reviews are limited based on label configuration.

🏷️ Required labels (at least one) (1)
  • ai-review

Please check the settings in the CodeRabbit UI or the .coderabbit.yaml file in this repository. To trigger a single review, invoke the @coderabbitai review command.

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

✨ Finishing touches
🧪 Generate unit tests (beta)
  • Create PR with unit tests
  • Post copyable unit tests in a comment
  • Commit unit tests in branch sergey/prover-version

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands and usage tips.

@sergeytimoshin sergeytimoshin merged commit 3b82d34 into main Oct 14, 2025
27 of 28 checks passed
@sergeytimoshin sergeytimoshin deleted the sergey/prover-version branch October 14, 2025 13:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants