✨ CI/CD Update

[nquetschlich]

This PR

• improves the CI/CD workflows
• implements multiple small improvements revealed by the more comprehensive tests

[github-advanced-security]

This pull request sets up GitHub code scanning for this repository. Once the scans have completed and the checks have passed, the analysis results for this pull request branch will appear on this overview. Once you merge this pull request, the 'Security' tab will show more code scanning analysis results (for example, for the default branch). Depending on your configuration and choice of analysis tool, future pull requests will be annotated with code scanning analysis results. For more information about GitHub code scanning, check out the documentation.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 79.7%. Comparing base (e8ba13d) to head (8e97d58).

Additional details and impacted files

@@           Coverage Diff           @@
##            main    #220     +/-   ##
=======================================
+ Coverage   79.5%   79.7%   +0.1%     
=======================================
  Files         12      12             
  Lines        965     967      +2     
=======================================
+ Hits         768     771      +3     
+ Misses       197     196      -1     

Flag	Coverage Δ
python	79.7% <100.0%> (?)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[nquetschlich]

@burgholzer Although all tests are green, the warning handling currently is a bit too generic because I had problems figuring out where exactly the warnings appeared to exclude them more specifically.

[nquetschlich]

Reminder: Before merging, MQT Bench needs a new release and we need to update the dependency here accordingly.

[burgholzer]

This mostly looks good. Many thanks 🙏 just a couple of rather minor comments that should be easy to address.

[burgholzer]

LGTM 👍🏼
Do you really want to have the mqt-bench dependency in like that or wait for the new mqt-bench release?