ci: Run unsoundness checks on a set schedule (#1666)

aborgna-q · web-flow · commit 0e20576a2950 · 2024-11-18T11:45:38.000Z
Closes #1665
diff --git a/.github/workflows/unsoundness.yml b/.github/workflows/unsoundness.yml
@@ -1,9 +1,9 @@
 name: Unsoundness checks
 
 on:
-  push:
-    branches:
-      - main
+  schedule:
+    # Weekly on Monday at 04:00 UTC
+    - cron: '0 4 * * 1'
   workflow_dispatch: {}
 
 concurrency:
