Update semgrep configuration (#1581)

- Disable sarif generation (may have been causing bug in Semgrep).
- Enable manual workflow dispatch.
This commit is contained in:
Zach Wasserman 2021-08-06 10:02:45 -07:00 committed by GitHub
parent e63e690fdb
commit ce89d851af
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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()