Skip to content

Conversation

@lucacome
Copy link
Contributor

Proposed changes

(cherry picked from commit 497621b)

Checklist

Before creating a PR, run through this checklist and mark each as complete.

  • I have read the CONTRIBUTING doc
  • I have added tests that prove my fix is effective or that my feature works
  • I have checked that all unit tests pass after adding my changes
  • I have updated necessary documentation
  • I have rebased my branch onto main
  • I will ensure my PR is targeting the main branch and pulling from my branch from my own fork

Release notes

If this PR introduces a change that affects users and needs to be mentioned in the release notes,
please add a brief note that summarizes the change.

NONE

@lucacome lucacome requested review from a team as code owners January 14, 2025 00:48
@github-actions github-actions bot added documentation Improvements or additions to documentation dependencies Pull requests that update a dependency file chore Pull requests for routine tasks labels Jan 14, 2025
@lucacome lucacome merged commit aa5bf13 into release-1.6 Jan 14, 2025
40 checks passed
@lucacome lucacome deleted the chore/cherry-pick-pr branch January 14, 2025 23:37
bjee19 pushed a commit that referenced this pull request Jan 15, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Pull requests for routine tasks dependencies Pull requests that update a dependency file documentation Improvements or additions to documentation

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

3 participants