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

📝 Prepare docs for new release #360

Merged
merged 5 commits into from
Aug 11, 2023
Merged

📝 Prepare docs for new release #360

merged 5 commits into from
Aug 11, 2023

Conversation

burgholzer
Copy link
Member

@burgholzer burgholzer commented Aug 11, 2023

Description

This PR just fixes up a couple of things throughout the documentation regarding the move from qmap to mqt-qmap and from the QFR library to MQT Core.

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 Aug 11, 2023
@burgholzer burgholzer self-assigned this Aug 11, 2023
@codecov
Copy link

codecov bot commented Aug 11, 2023

Codecov Report

Merging #360 (7d1347f) into main (6e7ce69) will not change coverage.
Report is 3 commits behind head on main.
The diff coverage is n/a.

@@          Coverage Diff          @@
##            main    #360   +/-   ##
=====================================
  Coverage   92.3%   92.3%           
=====================================
  Files         44      44           
  Lines       4155    4155           
  Branches     699     699           
=====================================
  Hits        3837    3837           
  Misses       318     318           
Flag Coverage Δ
cpp 91.9% <ø> (ø)
python 95.8% <ø> (ø)

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

@burgholzer burgholzer merged commit 68f4ad3 into main Aug 11, 2023
@burgholzer burgholzer deleted the docs-update branch August 11, 2023 12:50
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