Merge pull request #2070 from drwetter/gha_actions_improve

Also run GHA for PRs
This commit is contained in:
Dirk Wetter 2021-12-13 18:19:49 +01:00 committed by GitHub
commit c1e5ad82c1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -12,7 +12,8 @@ on:
- '**.html'
- 'LICENSE'
- 'Dockerfile'
pull_request:
pull_request:
paths-ignore:
- 'utils/**'
- 'docs/**'
- 'bin/**'