Skip to content

chore: update prover Dockerfile#1970

Merged
ananas-block merged 1 commit into
mainfrom
sergey/prover-dockerfile
Oct 7, 2025
Merged

chore: update prover Dockerfile#1970
ananas-block merged 1 commit into
mainfrom
sergey/prover-dockerfile

Conversation

@sergeytimoshin
Copy link
Copy Markdown
Contributor

No description provided.

@coderabbitai
Copy link
Copy Markdown
Contributor

coderabbitai Bot commented Oct 7, 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-dockerfile

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.

@ananas-block ananas-block changed the title update prover Dockerfile chore: update prover Dockerfile Oct 7, 2025
@ananas-block ananas-block merged commit 292e200 into main Oct 7, 2025
16 of 21 checks passed
@ananas-block ananas-block deleted the sergey/prover-dockerfile branch October 7, 2025 23:33
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