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

chore: cleanup gno files #3527

Merged
merged 5 commits into from
Jan 20, 2025
Merged

Conversation

gfanton
Copy link
Member

@gfanton gfanton commented Jan 16, 2025

This PR mostly removes some unused variables and type assertions that should have been identified by golang as error at compile time. These errors were flagged by gnopls, and I'm unsure why they are not currently detected as error by our current gno tools suite.

This PR mostly removes some unused variables and type assertions that should have been identified by `golang` at compile time. These errors were flagged by `gnopls`, and I'm unsure why they weren't detected earlier.
We have a way to identify them using our own `gno` tools.

Signed-off-by: gfanton <[email protected]>
@gfanton gfanton self-assigned this Jan 16, 2025
@github-actions github-actions bot added the 🧾 package/realm Tag used for new Realms or Packages. label Jan 16, 2025
@Gno2D2
Copy link
Collaborator

Gno2D2 commented Jan 16, 2025

🛠 PR Checks Summary

All Automated Checks passed. ✅

Manual Checks (for Reviewers):
  • IGNORE the bot requirements for this PR (force green CI check)
Read More

🤖 This bot helps streamline PR reviews by verifying automated checks and providing guidance for contributors and reviewers.

✅ Automated Checks (for Contributors):

🟢 Maintainers must be able to edit this pull request (more info)

☑️ Contributor Actions:
  1. Fix any issues flagged by automated checks.
  2. Follow the Contributor Checklist to ensure your PR is ready for review.
    • Add new tests, or document why they are unnecessary.
    • Provide clear examples/screenshots, if necessary.
    • Update documentation, if required.
    • Ensure no breaking changes, or include BREAKING CHANGE notes.
    • Link related issues/PRs, where applicable.
☑️ Reviewer Actions:
  1. Complete manual checks for the PR, including the guidelines and additional checks if applicable.
📚 Resources:
Debug
Automated Checks
Maintainers must be able to edit this pull request (more info)

If

🟢 Condition met
└── 🟢 The pull request was created from a fork (head branch repo: gfanton/gno)

Then

🟢 Requirement satisfied
└── 🟢 Maintainer can modify this pull request

Manual Checks
**IGNORE** the bot requirements for this PR (force green CI check)

If

🟢 Condition met
└── 🟢 On every pull request

Can be checked by

  • Any user with comment edit permission

@gfanton gfanton marked this pull request as ready for review January 17, 2025 13:00
@leohhhn
Copy link
Contributor

leohhhn commented Jan 19, 2025

Seems this is also unused:

@leohhhn leohhhn self-requested a review January 19, 2025 11:42
Copy link
Contributor

@leohhhn leohhhn left a comment

Choose a reason for hiding this comment

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

Just address the comment above and it's good

@thehowl
Copy link
Member

thehowl commented Jan 20, 2025

These are not caught by gno lint because the type checker doesn't support test files for now. Thanks!

@thehowl thehowl merged commit a52b8b2 into gnolang:master Jan 20, 2025
12 checks passed
@gfanton gfanton deleted the chore/cleanup-gno-file branch January 20, 2025 14:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🧾 package/realm Tag used for new Realms or Packages.
Projects
Development

Successfully merging this pull request may close these issues.

4 participants