Add scheduled pipeline run

Felix Exner · Felix Exner · commit 00325fb020bc · 2021-09-16T09:28:39.000+02:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,5 +1,10 @@
 name: Industrial CI pipeline
-on: [push, pull_request]
+on:
+  push:
+  pull_request:
+  schedule:
+    - cron: '0 7 * * *'
+
 
 jobs:
   format_check:
