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

fix: disable proto lint #1410

Merged

toteki merged 1 commit into main from robert/proto-lint

Sep 18, 2022

Member

robert-zaremba commented Sep 18, 2022

Description

make proto-lint doesn't work due to missing dependency in buf repository.
References:

fix: buf cosmos-sdk version #1397 (this PR was reverted)

This should be reverted in #1408, but now we need to progress.


          fix: disable proto lint

de19d5c

robert-zaremba requested a review from a team as a code owner

September 18, 2022 18:43

robert-zaremba mentioned this pull request

fix: buf cosmos-sdk version #1408

Merged

17 tasks

toteki approved these changes

View reviewed changes

toteki merged commit ed16287 into main

toteki deleted the robert/proto-lint branch

September 18, 2022 19:02

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