diff options
author | Nick Fitzgerald <fitzgen@gmail.com> | 2020-07-06 10:46:47 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-06 10:46:47 -0700 |
commit | 82252c22efbea9215137912c53e0c8c0b442273b (patch) | |
tree | 34e9ba48d92ac9efc336d6d550a891852ac809bb /projects/poppler | |
parent | ba72f0b7fcbbbeb21ae77de8b20db0c52e5bb015 (diff) |
wasmtime: Only zip the seed corpus if it exists (#4065)
This will prevent build failures like
https://oss-fuzz-build-logs.storage.googleapis.com/log-5a0b58fe-4a35-46d5-b4d2-221905e7d208.txt
in the future.
Diffstat (limited to 'projects/poppler')
0 files changed, 0 insertions, 0 deletions