remove pesky cron from semgrep

Your Name · Your Name · commit b7ce287185d9 · 2025-01-21T00:35:37.000+01:00
diff --git a/.github/workflows/semgrep.yml b/.github/workflows/semgrep.yml
@@ -9,7 +9,7 @@ on:
     - .github/workflows/semgrep.yml
   schedule:
   # random HH:MM to avoid a load spike on GitHub Actions at 00:00
-  - cron: 18 4 * * *
+#  - cron: 18 4 * * *
 name: Semgrep
 jobs:
   semgrep:
