Add Semgrep CI

forky-mcforkface · May 13, 2024 · fdbb34e · fdbb34e
1 parent 2480418
commit fdbb34e
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/semgrep.yml b/.github/workflows/semgrep.yml
@@ -1,4 +1,5 @@
 on:
+  workflow_dispatch: {}
   pull_request: {}
   push:
     branches:
@@ -7,11 +8,12 @@ on:
     paths:
     - .github/workflows/semgrep.yml
   schedule:
-  - cron: '0 0 * * 0'
+  # random HH:MM to avoid a load spike on GitHub Actions at 00:00
+  - cron: 45 5 * * *
 name: Semgrep
 jobs:
   semgrep:
-    name: Scan
+    name: semgrep/ci
     runs-on: ubuntu-20.04
     env:
       SEMGREP_APP_TOKEN: ${{ secrets.SEMGREP_APP_TOKEN }}