Add nightly job

rust-formal-methods · Oct 1, 2024 · 1272049 · 1272049
1 parent 36b9e98
commit 1272049
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/book.yml b/.github/workflows/book.yml
@@ -3,7 +3,10 @@ env:
 
 name: Deploy site
 
-on: [push]
+on:
+  push:
+  schedule:
+    - cron: '0 2 * * *'
 
 jobs:
   build: