Skip to content

🔧 Set up rumdl#1043

Merged
denialhaag merged 3 commits into
mainfrom
rumdl
Jun 17, 2026
Merged

🔧 Set up rumdl#1043
denialhaag merged 3 commits into
mainfrom
rumdl

Conversation

@denialhaag

Copy link
Copy Markdown
Member

Description

This PR sets up rumdl for linting and formatting Markdown files.

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 self-assigned this Jun 17, 2026
@denialhaag denialhaag added dependencies Pull requests that update a dependency file code quality Anything related to code quality and code style. pre-commit labels Jun 17, 2026
@github-project-automation github-project-automation Bot moved this to In Progress in MQT Compilation Jun 17, 2026
@denialhaag denialhaag changed the title 🔧 Set up rumdl 🔧 Set up rumdl Jun 17, 2026
@coderabbitai

coderabbitai Bot commented Jun 17, 2026

Copy link
Copy Markdown
Contributor

Caution

Review failed

An error occurred during the review process. Please try again later.

✨ Finishing Touches
✨ Simplify code
  • Create PR with simplified code
  • Commit simplified code in branch rumdl

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands and usage tips.

@denialhaag denialhaag requested a review from burgholzer June 17, 2026 17:33

@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. Found no broken line breaks or similar 👍🏼

@denialhaag denialhaag merged commit 1a7a226 into main Jun 17, 2026
19 checks passed
@denialhaag denialhaag deleted the rumdl branch June 17, 2026 17:55
@github-project-automation github-project-automation Bot moved this from In Progress to Done in MQT Compilation Jun 17, 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 pre-commit

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants