Merge pull request #138 from nikomatsakis/schedule-updates

regenerate the webpage daily

Author: nikomatsakis

.github/workflows/mdbook.yml

@@ -12,6 +12,10 @@ on:
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch:
 
+  # Runs every day at 2pm
+  schedule:
+    - cron: '0 14 * * *'
+
 # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
 permissions:
   contents: read