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

🍱 MQT Branding #257

Merged
merged 1 commit into from
May 3, 2024
Merged

🍱 MQT Branding #257

merged 1 commit into from
May 3, 2024

Conversation

burgholzer
Copy link
Member

Description

This PR adjusts the repository with the latest MQT branding changes.

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.

@burgholzer burgholzer added the documentation Improvements or additions to documentation label May 3, 2024
@burgholzer burgholzer self-assigned this May 3, 2024
@burgholzer burgholzer enabled auto-merge (squash) May 3, 2024 12:04
@burgholzer burgholzer merged commit 565be7b into main May 3, 2024
8 checks passed
@burgholzer burgholzer deleted the burgholzer-patch-1 branch May 3, 2024 12:08
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