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

🚨🩹 fix the ruff banned-api configuration #637

Merged
merged 1 commit into from
Jun 27, 2024
Merged

🚨🩹 fix the ruff banned-api configuration #637

merged 1 commit into from
Jun 27, 2024

Conversation

burgholzer
Copy link
Member

Description

This PR fixes a small mistake in the ruff configuration for the banned-api check.

Checklist:

  • The pull request only contains commits that are related to it.
  • I have added appropriate tests and documentation.
  • I have made sure that all CI jobs on GitHub pass.
  • The pull request introduces no new warnings and follows the project's style guidelines.

@burgholzer burgholzer self-assigned this Jun 26, 2024
@burgholzer burgholzer added code quality Code quality improvements continuous integration Anything related to the CI setup python Anything related to Python code labels Jun 26, 2024
@burgholzer burgholzer merged commit 527e76a into main Jun 27, 2024
28 checks passed
@burgholzer burgholzer deleted the fix-ruff-banned-api branch June 27, 2024 00:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@burgholzer burgholzer

Labels
code quality Code quality improvements continuous integration Anything related to the CI setup python Anything related to Python code
Projects
MQT
Status: Done
MQT Core
Status: Done
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@burgholzer