Skip to content

update deps#2368

Merged
echarlaix merged 1 commit into
mainfrom
v2-deps
Oct 9, 2025
Merged

update deps#2368
echarlaix merged 1 commit into
mainfrom
v2-deps

Conversation

@IlyasMoutawwakil

@IlyasMoutawwakil IlyasMoutawwakil commented Oct 9, 2025

Copy link
Copy Markdown
Member

What does this PR do?

Because we can't change it once optimum is released.

Before submitting

  • This PR fixes a typo or improves the docs (you can dismiss the other checks if that's the case).
  • Did you make sure to update the documentation with your changes?
  • Did you write any new necessary tests?

Who can review?

@IlyasMoutawwakil
IlyasMoutawwakil marked this pull request as ready for review October 9, 2025 08:30
@echarlaix
echarlaix merged commit c98f2b0 into main Oct 9, 2025
17 of 18 checks passed
@echarlaix
echarlaix deleted the v2-deps branch October 9, 2025 12:13
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