From f4a0335d797c01120469ca3fc652096015bc83ee Mon Sep 17 00:00:00 2001 From: Kevin Backhouse Date: Mon, 12 Jul 2021 14:29:51 +0100 Subject: [PATCH] Add workflow_dispatch for manual trigger --- .github/workflows/on_PR_linux_fuzz.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/on_PR_linux_fuzz.yml b/.github/workflows/on_PR_linux_fuzz.yml index 66edbc15..3a47e131 100644 --- a/.github/workflows/on_PR_linux_fuzz.yml +++ b/.github/workflows/on_PR_linux_fuzz.yml @@ -4,7 +4,9 @@ name: Linux-Ubuntu Quick Fuzz on PRs -on: [pull_request] +on: + pull_request: + workflow_dispatch: jobs: Linux: