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.

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

Fixes for failing linting checks #2092

Merged
merged 2 commits into from
May 11, 2024
Merged

Fixes for failing linting checks #2092

merged 2 commits into from
May 11, 2024

Conversation

macro1
Copy link
Contributor

@macro1 macro1 commented May 11, 2024 •
edited by chrysle
Loading

This fixes lint failures introduced in #2087

Contributor checklist
  • Included tests for the changes.
  • PR title is short, clear, and ready to be included in the user-facing changelog.
Maintainer checklist
  • Verified one of these labels is present: backwards incompatible, feature, enhancement, deprecation, bug, dependency, docs or skip-changelog as they determine changelog listing.
  • Assign the PR to an existing or new milestone for the target version (following Semantic Versioning).

@macro1 macro1 added the skip-changelog Avoid listing in changelog label May 11, 2024
@macro1 macro1 enabled auto-merge May 11, 2024 16:13
@macro1 macro1 added this pull request to the merge queue May 11, 2024
Merged via the queue into jazzband:main with commit 347fec5 May 11, 2024
34 checks passed
@chrysle
Copy link
Contributor

chrysle commented May 11, 2024

Thanks! Sorry for overlooking these.

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

@chrysle chrysle chrysle approved these changes

Assignees
No one assigned
Labels
skip-changelog Avoid listing in changelog
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@macro1 @chrysle