Skip to content
This repository was archived by the owner on Aug 5, 2026. It is now read-only.

ci: remove the disabled, redundant Semgrep workflow - #53

Merged
paul-abb merged 1 commit into
mainfrom
security/remove-dead-semgrep-workflow
Aug 5, 2026
Merged

ci: remove the disabled, redundant Semgrep workflow#53
paul-abb merged 1 commit into
mainfrom
security/remove-dead-semgrep-workflow

Conversation

@paul-abb

@paul-abb paul-abb commented Aug 4, 2026

Copy link
Copy Markdown
Contributor

Removes .github/workflows/semgrep.yml.

Why

It has not run in over a year. GitHub auto-disabled it
(state: disabled_inactivity); the last run was July 2025.

Semgrep already covers this repo. The Semgrep GitHub App is installed at the
org level and posts the semgrep-cloud-platform/scan check on pull requests here
— including on the PRs currently open. Deleting this workflow removes no
coverage; the App-based scan is the preferred path.

Rather than bring a disabled, redundant workflow up to current standards, this
removes it.

Validation

  • Confirmed disabled_inactivity and the last-run dates via the Actions API.
  • Confirmed the semgrep-cloud-platform/scan check is present and passing on
    open PRs in this repo, so App coverage is live rather than assumed.
  • Confirmed nothing else in the repository references this file.

@paul-abb
paul-abb merged commit 8d06d6b into main Aug 5, 2026
3 of 4 checks passed
@paul-abb
paul-abb deleted the security/remove-dead-semgrep-workflow branch August 5, 2026 00:52
@paul-abb paul-abb changed the title ci: remove the dead workflow-based Semgrep scan (App already covers this repo) ci: remove the disabled, redundant Semgrep workflow Aug 5, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant