romenskiy2012/curl
1
0
Fork 0
mirror of https://github.com/curl/curl.git synced 2026-04-15 01:21:44 +03:00
Code Issues Projects Releases Packages Wiki Activity

CI-fuzz: increase fuzz time to 40 minutes

Browse source 
Closes #5174
This commit is contained in:
Leo Neat 2020-04-02 10:12:24 -07:00 • committed by Daniel Stenberg
parent e1dc86fe8d
commit 4506607b44
No known key found for this signature in database
GPG key ID: 5CC908FDB71E12C2
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/fuzz.yml vendored
View file

@ -16,7 +16,7 @@ jobs:
uses: google/oss-fuzz/infra/cifuzz/actions/run_fuzzers@master
with:
oss-fuzz-project-name: 'curl'
fuzz-seconds: 600
fuzz-seconds: 2400
dry-run: false
- name: Upload Crash