Add Semgrep CI

semgrep-bot · semgrep-bot · commit ba9cad908b17 · 2023-01-31T18:31:02.000Z
diff --git a/.github/workflows/semgrep.yml b/.github/workflows/semgrep.yml
@@ -7,7 +7,8 @@ on:
     paths:
     - .github/workflows/semgrep.yml
   schedule:
-  - cron: '0 0 * * *'
+  # random HH:MM to avoid a load spike on GitHub Actions at 00:00
+  - cron: 16 23 * * *
 name: Semgrep
 jobs:
   semgrep:
