Skip to content

[Auto-generated] Update dependencies#463

Merged
TEAM4-0 merged 1 commit into
masterfrom
ci/update-pre-commit
May 19, 2026
Merged

[Auto-generated] Update dependencies#463
TEAM4-0 merged 1 commit into
masterfrom
ci/update-pre-commit

Conversation

@TEAM4-0
Copy link
Copy Markdown
Collaborator

@TEAM4-0 TEAM4-0 commented May 13, 2026

Update dependencies

Automatically created PR.

For more information see the "CI - Update 'pre-commit' hooks" workflow.

To-do

  • Check that the diff is sensible, and that tests and builds pass with the new dependency versions.
  • Make sure that the PR is squash merged, with a sensible commit message.

@TEAM4-0 TEAM4-0 added CI/CD Continuous integration or continuous deployment skip-changelog Skip this issue/PR when auto-generating the changelog labels May 13, 2026
@TEAM4-0 TEAM4-0 enabled auto-merge (squash) May 13, 2026 09:25
@TEAM4-0 TEAM4-0 merged commit 08958c8 into master May 19, 2026
8 checks passed
@TEAM4-0 TEAM4-0 deleted the ci/update-pre-commit branch May 19, 2026 03:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI/CD Continuous integration or continuous deployment skip-changelog Skip this issue/PR when auto-generating the changelog

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants