CI: enable manual running (#695)

Since we think it needs to be on master to have any effect, sending it to master to test.
This commit is contained in:
Ștefan Talpalaru 2021-05-28 16:14:01 +02:00 committed by GitHub
parent 297d789d21
commit 45da426bb8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -6,6 +6,7 @@ on:
- master
pull_request:
paths-ignore: ['doc/**', 'docs/**', '**/*.md', 'hive_integration/**']
workflow_dispatch:
jobs:
build: