Skip to content

chore: Bump tools + Dependencies#66

Merged
PhilippeWeidmann merged 1 commit intomainfrom
chore/bump-tools-dependencies
Nov 18, 2025
Merged

chore: Bump tools + Dependencies#66
PhilippeWeidmann merged 1 commit intomainfrom
chore/bump-tools-dependencies

Conversation

@PhilippeWeidmann
Copy link
Member

No description provided.

@sonarqubecloud
Copy link

Copy link
Contributor

@adrien-coye adrien-coye left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Changes are looking good. CI will validate.

@PhilippeWeidmann PhilippeWeidmann merged commit 3af7a1f into main Nov 18, 2025
10 checks passed
@PhilippeWeidmann PhilippeWeidmann deleted the chore/bump-tools-dependencies branch November 18, 2025 10:35
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