Add workflow_dispatch option to oss fuzz pipeline (#359)

angr · Oct 12, 2023 · cab692b · cab692b
1 parent d6dd79e
commit cab692b
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/cifuzz.yml b/.github/workflows/cifuzz.yml
@@ -1,10 +1,14 @@
 name: OSS-Fuzz
+
 on:
   push:
     branches:
       - master
   pull_request:
+  workflow_dispatch:
+
 permissions: {}
+
 jobs:
  Fuzzing:
    runs-on: ubuntu-latest