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

Closes #1665
CQCL · Nov 18, 2024 · 0e20576 · 0e20576
1 parent c2c5752
commit 0e20576
Showing 1 changed file with 3 additions and 3 deletions.
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: