Enable manually trigger on GitHub Workflows (#2620)

pull/2626/head
Vlastimil Ovčáčík 3 years ago committed by GitHub
parent b734f657f9
commit 179993f0cd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -6,6 +6,7 @@ on:
branches: [ master, devel ]
pull_request:
branches: [ master ]
workflow_dispatch:
jobs:
analyze:

@ -6,6 +6,7 @@ on:
branches: [ master, devel ]
pull_request:
branches: [ master ]
workflow_dispatch:
jobs:
build:

@ -6,6 +6,7 @@ on:
branches: [ master, devel ]
pull_request:
branches: [ master ]
workflow_dispatch:
jobs:
build:

Loading…
Cancel
Save