Schedule CI weekly

mit-pdos · Jul 20, 2024 · 7d2a420 · 7d2a420
1 parent 5d6f2d9
commit 7d2a420
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -5,6 +5,9 @@ on:
     branches:
       - main
   pull_request:
+  schedule:
+    # every week on Monday at 7am UTC
+    - cron: "0 7 * * MON"
 
 jobs:
   test: