Skip to content

Conversation

@philipp-spiess
Copy link
Member

No description provided.

@philipp-spiess philipp-spiess requested a review from a team as a code owner February 18, 2025 10:32
@philipp-spiess philipp-spiess force-pushed the fix/upgrade-tool-use-latest branch from 76986fe to df8eda9 Compare February 18, 2025 10:33
Copy link
Member

@RobinMalfait RobinMalfait left a comment

Choose a reason for hiding this comment

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

Hah might need to update the tests since they check for an exact 4.0.0 match.

@philipp-spiess philipp-spiess merged commit ec1d7d4 into main Feb 18, 2025
5 checks passed
@philipp-spiess philipp-spiess deleted the fix/upgrade-tool-use-latest branch February 18, 2025 10:57
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.

3 participants