Make diff run on push to master again (#1826)

* Add workflow dispatch and run on push to master
This commit is contained in:
Marko Barišić 2024-03-18 11:58:34 +01:00 committed by GitHub
parent 84fe853169
commit ec8536e11b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -4,6 +4,10 @@ concurrency:
cancel-in-progress: true
on:
push:
branches:
- master
workflow_dispatch:
pull_request:
paths-ignore:
- "docs/**"