Schedule daily CI run on master, allow for manual trigger

G-Research · Sep 12, 2022 · da2a446 · da2a446
1 parent 5c16480
commit da2a446
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,12 +1,15 @@
 name: CI
 
 on:
+  schedule:
+    - cron: '0 8 * * *'
   push:
     branches:
       - master
     tags:
       - '*'
   pull_request:
+  workflow_dispatch:
 
 jobs:
   build: