Allow manual trigger

This commit is contained in:
Gunter Labes 2024-07-11 18:04:37 +02:00 committed by GitHub
parent 102e1b4629
commit 5461f226e7
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -6,6 +6,7 @@ on:
pull_request:
# The branches below must be a subset of the branches above
branches: [ master ]
workflow_dispatch:
jobs:
analyze: