Skip to content

🔧 Maintenance round#154

Merged
burgholzer merged 1 commit into
mainfrom
maintenance-round
Jun 21, 2026
Merged

🔧 Maintenance round#154
burgholzer merged 1 commit into
mainfrom
maintenance-round

Conversation

@denialhaag

Copy link
Copy Markdown
Member

Description

This PR makes several maintenance updates:

  • Use client-id instead of app-id
  • Swap priority of ruff-check and ruff-format hooks
  • Configure Read the Docs to use Python 3.14 for colorful docs
  • Configure Read the Docs to natively use uv

Checklist

  • The pull request only contains commits that are focused and relevant to this change.
  • I have added appropriate tests that cover the new/changed functionality.
  • I have updated the documentation to reflect these changes.
  • The changes follow the project's style guidelines and introduce no new warnings.
  • The changes are fully tested and pass the CI checks.
  • I have reviewed my own code changes.

@denialhaag denialhaag self-assigned this Jun 21, 2026
@denialhaag denialhaag added dependencies Pull requests that update a dependency file documentation Improvements or additions to documentation labels Jun 21, 2026
@github-project-automation github-project-automation Bot moved this to In Progress in MQT Jun 21, 2026
@denialhaag denialhaag requested a review from burgholzer June 21, 2026 21:14
@burgholzer burgholzer merged commit 73fdfca into main Jun 21, 2026
7 checks passed
@burgholzer burgholzer deleted the maintenance-round branch June 21, 2026 21:16
@github-project-automation github-project-automation Bot moved this from In Progress to Done in MQT Jun 21, 2026
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 documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants