Merge pull request #3438 from AntumDeluge/workflow_manual_dispatch
commit907d1db1c8b58964aed457961a238d36a36f5a3a
authorEnrico Tröger <enrico.troeger@uvena.de>
Sun, 23 Apr 2023 11:32:38 +0000 (23 13:32 +0200)
committerGitHub <noreply@github.com>
Sun, 23 Apr 2023 11:32:38 +0000 (23 13:32 +0200)
tree1862b41a3eab5d9f07d2e8f3c61d304ef6badcee
parent7af6eafc0525bfafc8bdb2fbd29452b5f5409f56
parent2a1784fc4a9aa176cb2c76836c07a98a4531025f
Merge pull request #3438 from AntumDeluge/workflow_manual_dispatch

Allow Dispatching CI Build Workflow Manually