search

google / oss-fuzz

OSS-Fuzz - continuous fuzzing for open source software.
https://google.github.io/oss-fuzz
Apache License 2.0
10.13k stars 2.15k forks source link

wasmtime: Fix build #12076

Closed maflcko closed 2 weeks ago

github-actions[bot] commented 2 weeks ago

maflcko is a new contributor to projects/wasmtime. The PR must be approved by known contributors before it can be merged. The past contributors are: jeffcharles, saulecabrera, alexcrichton, itsrainy, cfallin, peterhuene, abrown, catenacyber, inferno-chromium

maflcko commented 2 weeks ago

Fixes https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=69697

Please approve, if the workaround is acceptable, @alexcrichton .

maflcko commented 2 weeks ago

Indeed, my recommendation would be to revert this temporary workaround in https://github.com/google/oss-fuzz/pull/12075, once it is ready (infra changes generally take longer than project-specific-fixups in my experience).