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

⬆️πŸͺ update pre-commit hooks #180

Closed
wants to merge 1 commit into from

Conversation

lucasberent
Copy link
Collaborator

@lucasberent lucasberent commented Oct 31, 2023

updates:

Description

Please include a summary of the change and which issue is fixed. Please also include relevant motivation and context.
List any dependencies that are required for this change.

Fixes # (issue)

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.

updates:
- [github.com/astral-sh/ruff-pre-commit: v0.1.1 β†’ v0.1.3](astral-sh/ruff-pre-commit@v0.1.1...v0.1.3)
- [github.com/psf/black-pre-commit-mirror: 23.10.0 β†’ 23.10.1](psf/black-pre-commit-mirror@23.10.0...23.10.1)
@lucasberent lucasberent enabled auto-merge October 31, 2023 09:41
@github-actions github-actions bot added the dependencies Pull requests that update a dependency file label Oct 31, 2023
@burgholzer
Copy link
Member

While you are at it, you could just adapt cda-tum/mqt-qcec#324 to QECC. Should be straight forward and makes this PR obsolete.

@lucasberent
Copy link
Collaborator Author

made obsolete by #181

auto-merge was automatically disabled October 31, 2023 11:50

Pull request was closed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies Pull requests that update a dependency file
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants