From 1dd7e2fe91984e09d6a87e1a3419a5acbeee0a1a Mon Sep 17 00:00:00 2001 From: ikolomi Date: Tue, 20 Feb 2024 18:19:25 +0200 Subject: [PATCH] Disable semgrep on push and pull_request untill we have creds for the entire team - currently SEMGREP_APP_TOKEN works only for ikolomi account --- .github/workflows/semgrep.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/semgrep.yml b/.github/workflows/semgrep.yml index 4eceb7c6e8..4cf8f5111e 100644 --- a/.github/workflows/semgrep.yml +++ b/.github/workflows/semgrep.yml @@ -2,15 +2,15 @@ name: Semgrep on: # Scan changed files in PRs (diff-aware scanning): - pull_request: {} +# pull_request: {} # Scan on-demand through GitHub Actions interface: workflow_dispatch: inputs: branch: description: 'The branch to run against the semgrep tool' required: true - push: - branches: ["master", "main"] +# push: +# branches: ["master", "main"] # Schedule the CI job (this method uses cron syntax): schedule: - cron: '0 8 * * *' # Sets Semgrep to scan every day at 08:00 UTC.