Skip to content

chore: post-release v4.25.0-dev#4485

Merged
fzipi merged 1 commit into
mainfrom
post-release/v4.25.0-dev
Feb 28, 2026
Merged

chore: post-release v4.25.0-dev#4485
fzipi merged 1 commit into
mainfrom
post-release/v4.25.0-dev

Conversation

@fzipi
Copy link
Copy Markdown
Member

@fzipi fzipi commented Feb 28, 2026

what

  • post v4.25.0-dev release

Signed-off-by: Felipe Zipitria <felipe.zipitria@owasp.org>
@fzipi fzipi requested a review from a team February 28, 2026 20:03
@fzipi fzipi added the release:ignore Ignore for changelog release label Feb 28, 2026
@github-actions
Copy link
Copy Markdown
Contributor

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

Copy link
Copy Markdown
Contributor

@airween airween left a comment

Choose a reason for hiding this comment

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

LGTM

@fzipi fzipi added this pull request to the merge queue Feb 28, 2026
Merged via the queue into main with commit 62fa7fc Feb 28, 2026
8 checks passed
@fzipi fzipi deleted the post-release/v4.25.0-dev branch February 28, 2026 20:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release:ignore Ignore for changelog release

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants