Skip to content

🔧 Maintenance round - #963

Merged
denialhaag merged 7 commits into
mainfrom
maintenance-round
Aug 19, 2026
Merged

🔧 Maintenance round#963
denialhaag merged 7 commits into
mainfrom
maintenance-round

Conversation

@denialhaag

@denialhaag denialhaag commented Aug 19, 2026

Copy link
Copy Markdown
Member

🤖 AI text below 🤖

  • Replace setuptools-scm with vcs-versioning
  • Use lower bound for scikit-build-core
  • Indicate support for CMake 4.4
  • Update the scientific-python/cookie pre-commit hook
  • Add the zizmor pre-commit hook
  • Add the check-codecov pre-commit hook to check-jsonschema
  • Streamline Trove classifiers
  • Streamline package stylization in documentation

@denialhaag denialhaag added dependencies Pull requests that update a dependency file tooling Any issue or PR related to project tooling labels Aug 19, 2026
@denialhaag denialhaag self-assigned this Aug 19, 2026
@github-project-automation github-project-automation Bot moved this to In Progress in MQT Simulation Aug 19, 2026
Assisted-by: Opus 5 via Claude Code

@burgholzer burgholzer left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM 👍🏼

@denialhaag
denialhaag enabled auto-merge (squash) August 19, 2026 08:08
@denialhaag

Copy link
Copy Markdown
Member Author

@burgholzer, do you happen to know why the Read the Docs integration is suddenly broken? The build succeeded, but it's not being reported back to GitHub.

@codecov

codecov Bot commented Aug 19, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@denialhaag
denialhaag merged commit 13b2b37 into main Aug 19, 2026
42 checks passed
@denialhaag
denialhaag deleted the maintenance-round branch August 19, 2026 14:43
@github-project-automation github-project-automation Bot moved this from In Progress to Done in MQT Simulation Aug 19, 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 tooling Any issue or PR related to project tooling

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants