Skip to content

Conversation

@fzipi
Copy link
Member

@fzipi fzipi commented Jun 19, 2025

what

  • remove dot star in regex

why

  • optimization

@github-actions
Copy link
Contributor

github-actions bot commented Jun 20, 2025

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

@fzipi fzipi force-pushed the chore/remove-dor-star-933160 branch from 479f5b6 to 957cb1b Compare June 20, 2025 11:34
theseion
theseion previously approved these changes Jun 26, 2025
theseion
theseion previously approved these changes Jun 26, 2025
fzipi and others added 6 commits June 26, 2025 11:24
Signed-off-by: Felipe Zipitria <felipe.zipitria@owasp.org>
Co-authored-by: Max Leske <250711+theseion@users.noreply.github.com>
Signed-off-by: Felipe Zipitria <felipe.zipitria@owasp.org>
Co-authored-by: Max Leske <250711+theseion@users.noreply.github.com>
Signed-off-by: Felipe Zipitria <felipe.zipitria@owasp.org>
@fzipi fzipi force-pushed the chore/remove-dor-star-933160 branch from 82d5706 to b4ee86f Compare June 26, 2025 14:25
@fzipi fzipi requested a review from theseion June 26, 2025 14:25
@fzipi fzipi added this pull request to the merge queue Jun 26, 2025
Merged via the queue into main with commit 5f285c7 Jun 26, 2025
6 checks passed
@fzipi fzipi deleted the chore/remove-dor-star-933160 branch June 26, 2025 14:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants