Skip to content

[Auto-generated] Update dependencies#399

Merged
TEAM4-0 merged 1 commit into
masterfrom
ci/update-pre-commit
Aug 13, 2025
Merged

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

Conversation

@TEAM4-0

@TEAM4-0 TEAM4-0 commented Aug 13, 2025

Copy link
Copy Markdown
Collaborator

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 Aug 13, 2025
@TEAM4-0
TEAM4-0 enabled auto-merge (squash) August 13, 2025 06:54
@TEAM4-0
TEAM4-0 merged commit 6525571 into master Aug 13, 2025
8 checks passed
@TEAM4-0
TEAM4-0 deleted the ci/update-pre-commit branch August 13, 2025 07:03
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