summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorChristian Clason <c.clason@uni-graz.at>2022-01-27 15:41:11 +0100
committerGitHub <noreply@github.com>2022-01-27 15:41:11 +0100
commit422657626b9854361e6586f19a570614abfc27ed (patch)
tree43b1a4cd05577a6af44844e162ce694b98fdfd99 /.github
parent620cc936ad6b26c59bb2d888b3890bb8d06c50c7 (diff)
chore: run parser update at least daily (#2379)
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/update-parsers-pr.yml2
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/update-parsers-pr.yml b/.github/workflows/update-parsers-pr.yml
index 558820ea..e1f09053 100644
--- a/.github/workflows/update-parsers-pr.yml
+++ b/.github/workflows/update-parsers-pr.yml
@@ -1,6 +1,8 @@
name: Make Parser Update PR
on:
+ schedule:
+ - cron: '30 6 * * *'
push:
branches:
- master