From ce89d851afead92f059ae89c79dc042c87dfed3c Mon Sep 17 00:00:00 2001 From: Zach Wasserman Date: Fri, 6 Aug 2021 10:02:45 -0700 Subject: [PATCH] Update semgrep configuration (#1581) - Disable sarif generation (may have been causing bug in Semgrep). - Enable manual workflow dispatch. --- .github/workflows/semgrep-analysis.yml | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) diff --git a/.github/workflows/semgrep-analysis.yml b/.github/workflows/semgrep-analysis.yml index 9bcd86334f..cdae2a034d 100644 --- a/.github/workflows/semgrep-analysis.yml +++ b/.github/workflows/semgrep-analysis.yml @@ -1,6 +1,7 @@ name: Semgrep on: + workflow_dispatch: # (manual dispatch) schedule: - cron: '0 2 * * *' @@ -17,11 +18,11 @@ jobs: with: publishToken: ${{ secrets.SEMGREP_APP_TOKEN }} publishDeployment: ${{ secrets.SEMGREP_DEPLOYMENT_ID }} - generateSarif: "1" + # generateSarif: "1" - # Upload SARIF file generated in previous step - - name: Upload SARIF file - uses: github/codeql-action/upload-sarif@v1 - with: - sarif_file: semgrep.sarif - if: always() + # # Upload SARIF file generated in previous step + # - name: Upload SARIF file + # uses: github/codeql-action/upload-sarif@v1 + # with: + # sarif_file: semgrep.sarif + # if: always()