From b8fe73ed1447125f47bcec427d03f0d2094a2dbf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rapha=C3=ABl=20Beamonte?= Date: Thu, 11 Jan 2024 10:40:10 -0500 Subject: [PATCH] Avoid running semgrep on merge groups (#4) Semgrep is taking an awful amount of time when running in merge queues, this is disabling it for those cases while keeping the workflow running to fit the requirement. --- .github/workflows/semgrep.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/semgrep.yml b/.github/workflows/semgrep.yml index fb83cce..0d48dcc 100644 --- a/.github/workflows/semgrep.yml +++ b/.github/workflows/semgrep.yml @@ -24,7 +24,7 @@ jobs: credentials: username: ${{ github.actor }} password: ${{ secrets.github_token }} - if: (github.actor != 'dependabot[bot]') + if: github.actor != 'dependabot[bot]' && github.event_name != 'merge_group' steps: - uses: actions/checkout@v4 - name: Run semgrep ci