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

Feat/gnolint error check #1168

Closed

gfanton wants to merge 2 commits into gnolang:master from gfanton:feat/gnolint-error-check

Member

gfanton commented Sep 24, 2023

Contributors' checklist...

Added new tests, or not needed, or not feasible
Provided an example (e.g. screenshot) to aid review or the PR is self-explanatory
Updated the official documentation or not needed
No breaking changes were made, or a BREAKING CHANGE: xxx message was included in the description
Added references to related issues and PRs
Provided any useful hints for running manual tests
Added new benchmarks to generated graphs, if any. More info here.

gfanton added 2 commits

September 24, 2023 10:26


          feat: better lint

55d136b

Signed-off-by: gfanton <[email protected]>


          tmp: -- panic

905b9f2

Signed-off-by: gfanton <[email protected]>

gfanton closed this

github-actions bot assigned gfanton

github-actions bot added 📦 🤖 gnovm 📦 🌐 tendermint v2 labels

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

Labels

📦 🌐 tendermint v2 📦 🤖 gnovm