Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

✨📝 Rework and modernize the development guide #842

Merged
merged 3 commits into from
Feb 26, 2025
Merged

Conversation

burgholzer
Copy link
Member

Description

This pull request updates the development guide to make it more modern and easier to follow.
This effort improves the documentation and ensures it aligns with current practices.

Hopefully, this can serve as the blueprint for many other MQT repositories.

Checklist:

  • The pull request only contains commits that are related to it.
  • I have added appropriate tests and documentation.
  • I have made sure that all CI jobs on GitHub pass.
  • The pull request introduces no new warnings and follows the project's style guidelines.

Signed-off-by: burgholzer <burgholzer@me.com>
Signed-off-by: burgholzer <burgholzer@me.com>
Signed-off-by: burgholzer <burgholzer@me.com>
@burgholzer burgholzer self-assigned this Feb 26, 2025
@burgholzer burgholzer added the documentation Improvements or additions to documentation label Feb 26, 2025
@burgholzer burgholzer added this to the MQT Core milestone Feb 26, 2025
@burgholzer burgholzer merged commit 2c02f80 into main Feb 26, 2025
14 checks passed
@burgholzer burgholzer deleted the doc-updates branch February 26, 2025 02:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
Status: Done
Status: Done
Development

Successfully merging this pull request may close these issues.

1 participant