Skip to content

[Auto-generated] Update dependencies - #489

Merged
TEAM4-0 merged 1 commit into
masterfrom
ci/update-pre-commit
Oct 13, 2026
Merged

TEAM4-0 merged 1 commit into
masterfrom
ci/update-pre-commit

Conversation

@TEAM4-0

@TEAM4-0 TEAM4-0 commented Oct 7, 2026 •

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 Oct 7, 2026
@TEAM4-0
TEAM4-0 enabled auto-merge (squash) October 7, 2026 13:42
@TEAM4-0
TEAM4-0 merged commit 0977834 into master Oct 13, 2026
8 checks passed
@TEAM4-0
TEAM4-0 deleted the ci/update-pre-commit branch October 13, 2026 14:09
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