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

Update go.mod #648

Closed
wants to merge 2 commits into from
Closed

Update go.mod #648

wants to merge 2 commits into from

Conversation

faddat
Copy link
Member

@faddat faddat commented Dec 10, 2021

Touches: #636

Description

This corrects the rocksdb import, meaning that can work in future builds.


For contributor use:

  • Targeted PR against correct branch (see CONTRIBUTING.md)
  • Updated relevant documentation (docs/) or specification (x/<module>/spec/)
  • Added a relevant changelog entry to the Unreleased section in CHANGELOG.md
  • Re-reviewed Files changed in the Github PR explorer

@codecov-commenter
Copy link

codecov-commenter commented Dec 10, 2021

Codecov Report

Merging #648 (dcc5f7d) into main (97ac2a8) will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##             main     #648   +/-   ##
=======================================
  Coverage   18.42%   18.42%           
=======================================
  Files         172      172           
  Lines       24254    24254           
=======================================
  Hits         4470     4470           
  Misses      19019    19019           
  Partials      765      765           

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 97ac2a8...dcc5f7d. Read the comment docs.

@faddat
Copy link
Member Author

faddat commented Dec 10, 2021

#643 instead

@faddat faddat closed this Dec 10, 2021
@daniel-farina daniel-farina added this to the 2021 - December Milestone milestone Dec 13, 2021
@faddat faddat deleted the faddat/rocksdb branch January 3, 2022 16:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

3 participants