Setup a cron job.

cepc · Jun 21, 2024 · 1e96a5c · 1e96a5c
1 parent f8bed2e
commit 1e96a5c
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -7,6 +7,9 @@ on:
   push:
     branches:
     - master
+
+  schedule:
+    - cron: '30 12 * * *' # try to update the mirrors every day. 
 
 jobs:
   mirroring: