Skip to content

Conversation

mergify[bot]
Copy link
Contributor

@mergify mergify bot commented Aug 27, 2025

❌ This pull request has failed checks. #727 will be removed from the queue. ❌

Branch master (ee57ef0) and #727 are embarked together for merge.

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

Required conditions of queue default for merge:

Required conditions to stay in the queue:

---
checking_base_sha: ee57ef06416d5b60e60d36996bfb6e6188d9fb55
previous_failed_batches: []
pull_requests:
  - number: 727
...

chu11 and others added 3 commits August 27, 2025 09:36
Problem: Some typos exist because of an out of date typos checker.

Solution: Fix typos found by updated crate-ci typo checker v1.35.5.
Problem: The crate-ci typo checker version is quite old.

Update the version to v1.35.5.
@mergify mergify bot closed this Aug 27, 2025
@mergify mergify bot deleted the mergify/merge-queue/be51b66a0c branch August 27, 2025 16:38
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.

1 participant