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: Fix the linting error. #3282

Merged
merged 2 commits into from
Dec 6, 2024

Conversation

wyhaines
Copy link
Contributor

@wyhaines wyhaines commented Dec 6, 2024

This fixes a linting error in the BTree package test suite.

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

@github-actions github-actions bot added the 🧾 package/realm Tag used for new Realms or Packages. label Dec 6, 2024
@Gno2D2
Copy link
Collaborator

Gno2D2 commented Dec 6, 2024

I'm a bot that assists the Gno Core team in maintaining this repository. My role is to ensure that contributors understand and follow our guidelines, helping to streamline the development process.

The following requirements must be fulfilled before a pull request can be merged.
Some requirement checks are automated and can be verified by the CI, while others need manual verification by a staff member.

These requirements are defined in this configuration file.

Automated Checks

🟢 Maintainers must be able to edit this pull request
🟢 The pull request head branch must be up-to-date with its base

Manual Checks

  • The pull request description provides enough details (checked by @zivkovicmilos)
Debug
Automated Checks
Maintainers must be able to edit this pull request

If

🟢 Condition met
└── 🟢 On every pull request

Then

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

The pull request head branch must be up-to-date with its base

If

🟢 Condition met
└── 🟢 On every pull request

Then

🟢 Requirement satisfied
└── 🟢 Head branch (wyhaines:kh.fix-btree-linting) is up to date with base (master): behind by 0 / ahead by 2

Manual Checks
The pull request description provides enough details

If

🟢 Condition met
└── 🟢 Not (🔴 Pull request author is a member of the team: core-contributors)

Can be checked by

  • team core-contributors

Copy link

codecov bot commented Dec 6, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

📢 Thoughts on this report? Let us know!

@wyhaines wyhaines changed the title Fix the linting error. fix: Fix the linting error. Dec 6, 2024
@jefft0 jefft0 added the review/triage-pending PRs opened by external contributors that are waiting for the 1st review label Dec 6, 2024
@zivkovicmilos zivkovicmilos changed the title fix: Fix the linting error. chore: Fix the linting error. Dec 6, 2024
@zivkovicmilos zivkovicmilos merged commit 9a0da98 into gnolang:master Dec 6, 2024
108 checks passed
@Kouteki Kouteki added the in focus Core team is prioritizing this work label Dec 6, 2024
omarsy pushed a commit to TERITORI/gno that referenced this pull request Dec 7, 2024
@aeddi aeddi mentioned this pull request Dec 8, 2024
r3v4s pushed a commit to gnoswap-labs/gno that referenced this pull request Dec 10, 2024
@Kouteki Kouteki removed the in focus Core team is prioritizing this work label Dec 16, 2024
albttx pushed a commit that referenced this pull request Jan 10, 2025
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. review/triage-pending PRs opened by external contributors that are waiting for the 1st review
Projects
Development

Successfully merging this pull request may close these issues.

5 participants