diff options
author | 2020-07-06 10:46:47 -0700 | |
---|---|---|
committer | 2020-07-06 10:46:47 -0700 | |
commit | 82252c22efbea9215137912c53e0c8c0b442273b (patch) | |
tree | 34e9ba48d92ac9efc336d6d550a891852ac809bb /projects/wasmtime/Dockerfile | |
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/wasmtime/Dockerfile')
0 files changed, 0 insertions, 0 deletions