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

fix(slash): update badger dep #8683

Merged
merged 5 commits into from Mar 7, 2023
Merged

fix(slash): update badger dep #8683

merged 5 commits into from Mar 7, 2023

Conversation

joshua-goldstein
Copy link
Contributor

@joshua-goldstein joshua-goldstein commented Feb 17, 2023

Update Badger from 7677fcb to 6ed45ae (on main-deprecated branch). This fixes dgraph-io/badger#1752 and dgraph-io/badger#1756.

First CI failed here. This issue was resolved by bumping up the Go version used in the container.

@coveralls
Copy link

coveralls commented Feb 18, 2023

Coverage Status

Coverage: 64.071% (-0.3%) from 64.344% when pulling ec12556 on joshua/slash into e3c7d9a on release/v21.03-slash.

Copy link
Contributor

@sanjayk-github-dev sanjayk-github-dev left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The changes look safe to me.

@MichelDiz MichelDiz added the dgraph Issue or PR created by an internal Dgraph contributor. label Mar 7, 2023
@skrdgraph skrdgraph merged commit 19f71a7 into release/v21.03-slash Mar 7, 2023
4 of 5 checks passed
@skrdgraph skrdgraph deleted the joshua/slash branch March 7, 2023 23:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dgraph Issue or PR created by an internal Dgraph contributor.
Development

Successfully merging this pull request may close these issues.

None yet

6 participants