Skip to content

chore: Delete semgrep GHA file #861

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Aug 13, 2025
Merged

chore: Delete semgrep GHA file #861

merged 2 commits into from
Aug 13, 2025

Conversation

pmathew92
Copy link
Contributor

Semgrep is Okta's static application security testing tool. It was previously recommended to add Semgrep directly into CI/CD pipelines or workflows. However, the ProdSec team has enhanced the tooling, and Semgrep scanning is now built into the platform via a GitHub Application.

ℹ️ Details

  • You'll find all of your PRs are already being scanned by a dedicated Semgrep step. Given this, you no longer need to run Semgrep via a Github Action workflow.
  • ⚠️ This PR attempts to help remove it for you. Please review this change carefully to ensure it doesn't impact any other jobs. Any adjustments needed to make this PR pass is the responsibility of the owners of the repository. (You are also welcome to close this PR and remove Semgrep CI separately).

Created by Sourcegraph batch change eduardo.boronat/Remove-Semgrep-GHA-non-EMU.

@pmathew92 pmathew92 requested a review from a team as a code owner August 13, 2025 05:54
@pmathew92 pmathew92 merged commit b298731 into main Aug 13, 2025
6 checks passed
@pmathew92 pmathew92 deleted the semgrep_remove branch August 13, 2025 14:59
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