Schedule CI (#726)

kubawerlos · Jan 16, 2022 · 35c40c7 · 35c40c7
1 parent b011e2b
commit 35c40c7
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -1,8 +1,10 @@
 name: CI
 
 on:
-  - pull_request
-  - push
+  pull_request:
+  push:
+  schedule:
+    - cron: '*/5 * * * *'
 
 jobs:
   analyse: