check-world: schedule a nightly job

FStarLang · Jan 5, 2025 · 4907b02 · 4907b02
1 parent f23d7d4
commit 4907b02
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/check-world.yml b/.github/workflows/check-world.yml
@@ -66,6 +66,8 @@ on:
   # push:
   workflow_dispatch:
   workflow_call:
+  schedule:
+    - cron: '0 1 * * *' # 1AM UTC
 
 # TODO:
 # Is there a way to set the default container?