Skip to content

🔧 Set up rumdl#755

Merged
denialhaag merged 2 commits into
mainfrom
rumdl
Jul 13, 2026
Merged

🔧 Set up rumdl#755
denialhaag merged 2 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.
  • 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 Jul 13, 2026
@denialhaag denialhaag added documentation Improvements or additions to documentation dependencies Pull requests that update a dependency file code quality Code quality improvements pre-commit labels Jul 13, 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 👍🏼

@denialhaag denialhaag enabled auto-merge (squash) July 13, 2026 13:52
@denialhaag denialhaag merged commit 121ad0f into main Jul 13, 2026
13 checks passed
@denialhaag denialhaag deleted the rumdl branch July 13, 2026 14:30
@github-project-automation github-project-automation Bot moved this from In Progress to Done in MQT Error Correction Jul 13, 2026
@codecov

codecov Bot commented Jul 13, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

code quality Code quality improvements dependencies Pull requests that update a dependency file documentation Improvements or additions to documentation pre-commit

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants