Skip to content

chore(inbox): rename signal source group to "External sources" #5623

chore(inbox): rename signal source group to "External sources"

chore(inbox): rename signal source group to "External sources" #5623

Triggered via pull request July 29, 2026 17:45
Status Success
Total duration 52s
Artifacts

semgrep-package-managers.yml Required

on: pull_request
semgrep-package-managers
28s
semgrep-package-managers
Fit to window
Zoom out
Zoom in