Skip to content

🔧 Set up rumdl#912

Merged
burgholzer merged 1 commit into
mainfrom
rumdl
Jul 9, 2026
Merged

🔧 Set up rumdl#912
burgholzer merged 1 commit into
mainfrom
rumdl

Conversation

@denialhaag

Copy link
Copy Markdown
Member

Description

This PR sets up rumdl for linting and formatting Markdown files. Furthermore, this PR removes support for generating LaTeX documentation.

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.
  • I have added entries to the changelog for any noteworthy additions, changes, fixes, or removals.
  • I have added migration instructions to the upgrade guide (if needed).
  • 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 requested a review from burgholzer July 9, 2026 11:25
@denialhaag denialhaag self-assigned this Jul 9, 2026
@denialhaag denialhaag added documentation Improvements or additions to documentation dependencies Pull requests that update a dependency file code quality Anything related to code quality and code style. labels Jul 9, 2026
@denialhaag denialhaag added the pre-commit Pull requests that update pre-commit checks label Jul 9, 2026
@github-project-automation github-project-automation Bot moved this to In Progress in MQT Simulation Jul 9, 2026

@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

@burgholzer
burgholzer merged commit 2b15b63 into main Jul 9, 2026
19 checks passed
@burgholzer
burgholzer deleted the rumdl branch July 9, 2026 14:58
@github-project-automation github-project-automation Bot moved this from In Progress to Done in MQT Simulation Jul 9, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

code quality Anything related to code quality and code style. dependencies Pull requests that update a dependency file documentation Improvements or additions to documentation pre-commit Pull requests that update pre-commit checks

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants