Merge branch 'post-11' into post-12

This commit is contained in:
Philipp Oppermann
2020-08-16 18:03:10 +02:00

View File

@@ -10,6 +10,7 @@ on:
schedule: schedule:
- cron: '40 3 * * *' # every day at 3:40 - cron: '40 3 * * *' # every day at 3:40
pull_request: pull_request:
workflow_dispatch:
jobs: jobs:
check: check: