Skip to content

chore(deps): update badger dependency #8658

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

Merged
merged 1 commit into from
Feb 10, 2023
Merged

Conversation

joshua-goldstein
Copy link
Contributor

Previous PR #8654 was a SHA not located on the new Badger release branch. We use the latest SHA on release/v4.0.

mangalaman93
mangalaman93 previously approved these changes Feb 9, 2023
skrdgraph
skrdgraph previously approved these changes Feb 9, 2023
@coveralls
Copy link

coveralls commented Feb 9, 2023

Coverage Status

Coverage: 67.361% (+0.5%) from 66.853% when pulling 6df5c66 on joshua/update-deps into 1a38ca2 on main.

@mangalaman93 mangalaman93 merged commit 6a10eb9 into main Feb 10, 2023
@mangalaman93 mangalaman93 deleted the joshua/update-deps branch February 10, 2023 04:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

4 participants