ci: add workflow_dispatch trigger for manual CI runs (#1114)

This commit is contained in:
Felix Weinberger 2025-11-14 14:30:33 +00:00 • committed by GitHub
commit 5bcf53fa12
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -3,6 +3,7 @@ on:
branches:
- main
pull_request:
workflow_dispatch:
release:
types: [published]