Skip to content

Conversation

@tilo-14
Copy link
Contributor

@tilo-14 tilo-14 commented Dec 16, 2025

No description provided.

@coderabbitai
Copy link
Contributor

coderabbitai bot commented Dec 16, 2025

Important

Review skipped

Ignore keyword(s) in the title.

⛔ Ignored keywords (5)
  • wip
  • draft
  • temp
  • test
  • experimental

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 tilo-14-audit-reports

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.

@tilo-14 tilo-14 changed the title Rename Reports and Add Latest Ottersec docs: Rename Reports and Add Latest Ottersec Dec 16, 2025
…labs_08-2024_circuits_formal_verification_report.pdf
…labs_2024-08_circuits_formal_verification_report.pdf
@ananas-block ananas-block merged commit 52f7d77 into main Dec 17, 2025
15 checks passed
@ananas-block ananas-block deleted the tilo-14-audit-reports branch December 17, 2025 00:21
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.

3 participants