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

🩹 fix MQT Core update workflow #435

Merged
merged 1 commit into from
Aug 9, 2024
Merged

Conversation

burgholzer
Copy link
Member

@burgholzer burgholzer commented Aug 9, 2024

Description

This PR fixes the MQT Core update workflow. If successful, the corresponding CI run in this PR should trigger an update to MQT Core 2.6.0

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 dependencies Pull requests that update a dependency file continuous integration Anything related to the CI setup fix Anything related to bugfixes labels Aug 9, 2024
@burgholzer burgholzer self-assigned this Aug 9, 2024
@burgholzer burgholzer force-pushed the mqt-core-update-workflow branch from 4c5b6f9 to 7b9ad58 Compare August 9, 2024 13:34
@burgholzer burgholzer enabled auto-merge (squash) August 9, 2024 13:40
@burgholzer burgholzer merged commit 408aa2c into main Aug 9, 2024
10 checks passed
@burgholzer burgholzer deleted the mqt-core-update-workflow branch August 9, 2024 13:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
continuous integration Anything related to the CI setup dependencies Pull requests that update a dependency file fix Anything related to bugfixes
Projects
Status: Done
Status: Done
Development

Successfully merging this pull request may close these issues.

1 participant