Skip to content

Conversation

@renovate
Copy link
Contributor

@renovate renovate bot commented Dec 29, 2025

This PR contains the following updates:

Package Type Update Change
crate-ci/typos action patch v1.40.0 -> v1.40.1

Release Notes

crate-ci/typos (crate-ci/typos)

v1.40.1

Compare Source

Bug Fixes
  • Ignore numbers as identifiers (a00831c8)
  • Improve the organization of --help (a48a457c)
Features
  • Dump files, identifiers, and words (ce365ae1, closes #​41)
  • Give control over allowed identifier characters for leading vs rest (107308a6)
Performance
  • Use standard identifier rules to avoid doing umber checks (107308a6)
  • Only do hex check if digits are in identifiers (68cd36d0)

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.


  • If you want to rebase/retry this PR, check this box

This PR was generated by Mend Renovate. View the repository job log.

@coderabbitai
Copy link

coderabbitai bot commented Dec 29, 2025

Important

Review skipped

Bot user detected.

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.


Comment @coderabbitai help to get the list of available commands and usage tips.

@yegor256
Copy link
Member

@rultor please, try to merge, since 12 checks have passed

@rultor
Copy link
Contributor

rultor commented Dec 30, 2025

@rultor please, try to merge, since 12 checks have passed

@yegor256 OK, I'll try to merge now. You can check the progress of the merge here.

@rultor rultor merged commit 794b708 into master Dec 30, 2025
13 checks passed
@rultor rultor deleted the renovate/crate-ci-typos-1.x branch December 30, 2025 03:22
@rultor
Copy link
Contributor

rultor commented Dec 30, 2025

@rultor please, try to merge, since 12 checks have passed

@yegor256 Done! FYI, the full log is here (took me 7min).

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