Skip to content
Back to pull request #7134

Change Pipelines to use name instead of id #809

Sign in to view logs

Change Pipelines to use name instead of id

Change Pipelines to use name instead of id #809

semgrep/ci

semgrep/ci
succeeded Oct 31, 2024 in 14s