merge queue: embarking main (e6a57b3) and #762 together

[mergify]

🎉 This pull request has been checked successfully and will be merged soon. 🎉

Branch main (e6a57b3) and #762 are embarked together for merge.

This pull request has been created by Mergify to speculatively check the mergeability of #762.
You don't need to do anything. Mergify will close this pull request automatically when it is complete.

Required conditions of queue main for merge:

• #approved-reviews-by >= 1 [🛡 GitHub branch protection]
  • frost-rerandomized: change Randomizer generation #762
• #changes-requested-reviews-by = 0 [🛡 GitHub branch protection]
  • frost-rerandomized: change Randomizer generation #762
• #review-threads-unresolved = 0 [🛡 GitHub branch protection]
  • frost-rerandomized: change Randomizer generation #762
• base=main

Required conditions to stay in the queue:

• #approved-reviews-by >= 1 [🛡 GitHub branch protection]
  • frost-rerandomized: change Randomizer generation #762
• #changes-requested-reviews-by = 0 [🛡 GitHub branch protection]
  • frost-rerandomized: change Randomizer generation #762
• #review-threads-unresolved = 0 [🛡 GitHub branch protection]
  • frost-rerandomized: change Randomizer generation #762
• -draft
  • frost-rerandomized: change Randomizer generation #762
• base=main
  • frost-rerandomized: change Randomizer generation #762
• label!=do-not-merge
  • frost-rerandomized: change Randomizer generation #762

---
checking_base_sha: e6a57b331a568c151cbc3ca1a710487f2bbd7f07
previous_failed_batches: []
pull_requests:
  - number: 762
...

[codecov]

Codecov Report

❌ Patch coverage is 98.41270% with 1 line in your changes missing coverage. Please review.
✅ Project coverage is 77.23%. Comparing base (e6a57b3) to head (70db8fb).
⚠️ Report is 1 commits behind head on main.

Files with missing lines	Patch %	Lines
frost-rerandomized/src/lib.rs	98.36%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #992      +/-   ##
==========================================
- Coverage   77.37%   77.23%   -0.15%     
==========================================
  Files          41       41              
  Lines        4540     4603      +63     
==========================================
+ Hits         3513     3555      +42     
- Misses       1027     1048      +21     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.