Merge branch 'post-10' into post-11

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

View File

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