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 lint error on main #564

Merged
merged 1 commit into from
Oct 30, 2021
Merged

Fix lint error on main #564

merged 1 commit into from
Oct 30, 2021

Conversation

ValarDragon
Copy link
Member

Description

Quick fix for patching the lint error on main. This got introduced in merging #467, which didn't have the latest linter running on it.


For contributor use:

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

@codecov-commenter
Copy link

Codecov Report

Merging #564 (9b1e636) into main (954bb5c) will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##             main     #564   +/-   ##
=======================================
  Coverage   20.31%   20.31%           
=======================================
  Files         164      164           
  Lines       23262    23262           
=======================================
  Hits         4726     4726           
  Misses      17762    17762           
  Partials      774      774           

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 954bb5c...9b1e636. Read the comment docs.

@ValarDragon ValarDragon merged commit 0a105c9 into main Oct 30, 2021
@ValarDragon ValarDragon deleted the dev/fix_main_lint branch October 30, 2021 03:50
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.

2 participants