Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

mpv: disable Centipede #12460

Merged
merged 1 commit into from
Sep 8, 2024
Merged

mpv: disable Centipede #12460

merged 1 commit into from
Sep 8, 2024

Conversation

kasper93
Copy link
Contributor

@kasper93 kasper93 commented Sep 6, 2024

It is unstable. Likely due to storage limitations. Works locally correctly. Disable it and let other fuzzing engines work.

See: #12429

It is unstable. Likely due to storage limitations. Works locally
correctly. Disable it and let other fuzzing engines work.

See: google#12429
Copy link

github-actions bot commented Sep 6, 2024

kasper93 is either the primary contact or is in the CCs list of projects/mpv.
kasper93 has previously contributed to projects/mpv. The previous PR was #12389

@DavidKorczynski DavidKorczynski merged commit 339ced9 into google:master Sep 8, 2024
15 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants