Skip to content

chore: remove SML parser#558

Merged
yosefAlsuhaibani merged 1 commit intomainfrom
yosef/rm-sml
Feb 6, 2026
Merged

chore: remove SML parser#558
yosefAlsuhaibani merged 1 commit intomainfrom
yosef/rm-sml

Conversation

@yosefAlsuhaibani
Copy link
Contributor

@yosefAlsuhaibani yosefAlsuhaibani commented Feb 6, 2026

Part of a stack of PRs that aims to migrate our parsers from 0.20.6 to 0.22.6. It seems like the Semgrep SML parser was never integrated to semgrep/semgrep and is a user of 0.20.6; instead of preforming the migration, we'll just remove the parser.

Checklist

  • Any new parsing code was already published, integrated, and merged into Semgrep. DO NOT MERGE THIS PR BEFORE THE SEMGREP INTEGRATION WORK WAS COMPLETED.
  • Change has no security implications (otherwise, ping the security team)

Copy link
Contributor Author

@yosefAlsuhaibani yosefAlsuhaibani changed the title chore: remove SML chore: remove SML parser Feb 6, 2026
@yosefAlsuhaibani yosefAlsuhaibani marked this pull request as ready for review February 6, 2026 18:43
@yosefAlsuhaibani yosefAlsuhaibani requested a review from a team as a code owner February 6, 2026 18:43
Copy link
Contributor Author

yosefAlsuhaibani commented Feb 6, 2026

Merge activity

  • Feb 6, 6:51 PM UTC: A user started a stack merge that includes this pull request via Graphite.
  • Feb 6, 6:51 PM UTC: @yosefAlsuhaibani merged this pull request with Graphite.

@yosefAlsuhaibani yosefAlsuhaibani merged commit d99b730 into main Feb 6, 2026
5 checks passed
@yosefAlsuhaibani yosefAlsuhaibani deleted the yosef/rm-sml branch February 6, 2026 18:51
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