File tree Expand file tree Collapse file tree 2 files changed +10
-1
lines changed
Expand file tree Collapse file tree 2 files changed +10
-1
lines changed Original file line number Diff line number Diff line change @@ -2,6 +2,13 @@ name: ClusterFuzzLite batch fuzzing
22on :
33 schedule :
44 - cron : ' 0 0/6 * * *'
5+ workflow_dispatch :
6+ inputs :
7+ fuzz-seconds :
8+ description : ' The total time allotted for fuzzing in seconds.'
9+ required : true
10+ default : 3600
11+
512permissions : read-all
613jobs :
714 BatchFuzzing :
2330 uses : google/clusterfuzzlite/actions/run_fuzzers@v1
2431 with :
2532 github-token : ${{ secrets.GITHUB_TOKEN }}
26- fuzz-seconds : 3600
33+ fuzz-seconds : ${{ github.event.inputs.fuzz-seconds || 3600 }}
2734 mode : ' batch'
2835 sanitizer : ${{ matrix.sanitizer }}
2936 output-sarif : true
Original file line number Diff line number Diff line change @@ -2,6 +2,8 @@ name: ClusterFuzzLite cron tasks
22on :
33 schedule :
44 - cron : ' 0 0 * * *'
5+ workflow_dispatch : {}
6+
57permissions : read-all
68jobs :
79 Pruning :
You can’t perform that action at this time.
0 commit comments