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.

Sign up for GitHub

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

Jump to bottom

Remove unnecessary dependency and fix fuzz crate #76

Merged

adetaylor merged 2 commits into google:main from nakashima-hikaru:bugfix/monitor_crate

Aug 30, 2024

Contributor

nakashima-hikaru commented Aug 11, 2024

Remove monitor crate because this is an unnecessary dependency.
Fix fuzz crate so that it can build

It's a good idea to open an issue first for discussion.

Tests pass
Appropriate changes to README are included in PR

nakashima-hikaru added 2 commits

August 9, 2024 21:47


          chore: Remove monitor crate

1119f25


          chore: Remove monitor crate

f8e60f4

fix: Enable build fuzz crate

nakashima-hikaru changed the title ~~Remove unused crate and fix fuzz crate~~ Remove unnecessary dependency and fix fuzz crate

adetaylor merged commit 17aa81b into google:main

12 checks passed

nakashima-hikaru deleted the bugfix/monitor_crate branch

August 30, 2024 07:24

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet