chore(workflow): add possibility for manual pipeline trigger (#1889)

This commit is contained in:
Livio Amstutz 2021-06-17 10:57:47 +02:00 committed by GitHub
parent d9d361c3de
commit 82ae9dd459
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -5,6 +5,7 @@ on:
- 'main'
tags-ignore:
- '**'
workflow_dispatch:
env:
REGISTRY: ghcr.io