Change Github CI to once every first of the month

amauryt · Jun 25, 2022 · 6675ac0 · 6675ac0
1 parent 4d7f040
commit 6675ac0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/crystal.yml b/.github/workflows/crystal.yml
@@ -4,7 +4,7 @@ on:
   push:
   pull_request:
   schedule:
-    - cron: '0 0 * * *'
+    - cron: '0 10 1 * *' # At 10:00 on day-of-month 1.
 
 jobs:
   test: