Skip to content

Delete .github/workflows/semgrep.yml#283

Merged
jackdawm merged 2 commits intomainfrom
jackdawm-patch-1
Nov 17, 2023
Merged

Delete .github/workflows/semgrep.yml#283
jackdawm merged 2 commits intomainfrom
jackdawm-patch-1

Conversation

@jackdawm
Copy link
Copy Markdown
Contributor

What was changed

Delete the Semgrep workflow file in this repo.

Why?

Now that the Semgrep CI workflow is shared and runs on every repo, this per-repo file is no longer needed.

Checklist

How was this tested:

Saw the org-level action show up in the Actions tab in other repos and it runs successfully.

@jackdawm jackdawm requested a review from a team November 17, 2023 19:39
@jackdawm jackdawm merged commit c8f1f71 into main Nov 17, 2023
@jackdawm jackdawm deleted the jackdawm-patch-1 branch November 17, 2023 22:25
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