Merge pull request FStarLang#190 from mtzguido/ci

ci: schedule nightly job too
mtzguido · Jan 9, 2025 · a2c0c09 · a2c0c09
2 parents 1952c37 + 7171d91
commit a2c0c09
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -5,6 +5,8 @@ on:
     - _**
   pull_request:
   workflow_dispatch:
+  schedule:
+    - cron: '0 2 * * *' # 2AM UTC
 
 defaults:
   run: