Skip to content

chore(deps): update crate-ci/typos action to v1.41.0#142

Merged
rultor merged 1 commit intomasterfrom
renovate/crate-ci-typos-1.x
Dec 31, 2025
Merged

chore(deps): update crate-ci/typos action to v1.41.0#142
rultor merged 1 commit intomasterfrom
renovate/crate-ci-typos-1.x

Conversation

@renovate
Copy link
Contributor

@renovate renovate bot commented Dec 31, 2025

This PR contains the following updates:

Package Type Update Change
crate-ci/typos action minor v1.40.1v1.41.0

Release Notes

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

v1.41.0

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: Enabled.

Rebasing: Whenever PR is behind base branch, 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.

@yegor256
Copy link
Member

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

@rultor
Copy link
Contributor

rultor commented Dec 31, 2025

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

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

@rultor rultor merged commit 3d1ea2b into master Dec 31, 2025
15 checks passed
@rultor
Copy link
Contributor

rultor commented Dec 31, 2025

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

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

@renovate renovate bot deleted the renovate/crate-ci-typos-1.x branch December 31, 2025 16:44
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.

2 participants