chore: fix some comments #682
Merged
Mergify / Queue: Embarked in merge queue
succeeded
Jun 19, 2024 in 0s
The pull request embarked with main (36fbf54) will be merged soon
Required conditions for merge:
#approved-reviews-by>=1[🛡 GitHub branch protection]#changes-requested-reviews-by=0[🛡 GitHub branch protection]#review-threads-unresolved=0[🛡 GitHub branch protection]-
base=main - all of [📃 From pull request rule main queue triggered when CI passes with 1 review]:
-draft-draft[📌 queue requirement]-
base=main label!=do-not-merge- any of [📌 queue -> configuration change requirements]:
-mergify-configuration-changed-
check-success=Configuration changed
- any of [🔀 queue conditions]:
Check-runs and statuses of the embarked pull request #682:
 |  | Build and Deploy Docs (+beta) | details |
 | | Coverage | details |
 | | Check Rust doc | details |
| | Check if automatically generated code is up to date | details |
| | Clippy | details |
| | Rustfmt | details |
| | actionlint | details |
| | build with MSRV (1.66.1) | details |
| | build with all features combinations | details |
| | build with default features | details |
| | test on beta | details |
Loading