Skip to content

Conversation

@fzipi
Copy link
Member

@fzipi fzipi commented Dec 29, 2024

No description provided.

Signed-off-by: Felipe Zipitria <[email protected]>
@fzipi fzipi added post-release Changes needed after release release:ignore Ignore for changelog release labels Dec 29, 2024
@fzipi fzipi requested a review from a team December 29, 2024 16:27
@github-actions
Copy link
Contributor

📊 Quantitative test results for language: eng, year: 2023, size: 10K, paranoia level: 1:
🚀 Quantitative testing did not detect new false positives

@fzipi fzipi added this pull request to the merge queue Dec 29, 2024
Merged via the queue into main with commit 6bef99a Dec 29, 2024
5 of 6 checks passed
@fzipi fzipi deleted the post-release/v4.11.0-dev branch December 29, 2024 19:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

post-release Changes needed after release release:ignore Ignore for changelog release

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants