Skip to content

MQT Reusable Workflows Initial Release
Compare
Choose a tag to compare
@github-actions github-actions released this 23 May 09:41
· 121 commits to refs/heads/main since this release
v1.0.0
a563bbd
This commit was signed with the committer’s verified signature.
burgholzer Lukas Burgholzer
GPG key ID: EEAA6E9F89A50092
Verified
Learn about vigilant mode.

✨ Initial Release ✨

This marks the first official release of the MQT Reusable Workflows project.
The workflows were originally hosted on the MQT Core repository and have now been moved to a separate repository in order to get a better separation of concerns and allow for separate versioning of the workflows and MQT Core.

Compared to the latest version of the workflows in MQT Core (v2.5.0), the clang-tidy version has been updated to v18 and the default Z3 version has been raised to 4.13.0.

Assets 2
Loading