remove pesky cron from semgrep

mulle-nat · mulle-nat · commit 42f9c006c01d · 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: 7 5 * * *
+#  - cron: 7 5 * * *
 name: Semgrep
 jobs:
   semgrep:
