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.

Sign up for GitHub

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

Jump to bottom

Bump extern/mqt-core from b1c49b9 to a50af79 #357

Merged
merged 1 commit into from
Aug 8, 2023
Merged

Bump extern/mqt-core from b1c49b9 to a50af79 #357

merged 1 commit into from
Aug 8, 2023

Conversation

dependabot[bot]
Copy link
Contributor

@dependabot dependabot bot commented on behalf of github Aug 8, 2023 •
edited
Loading

Bumps extern/mqt-core from b1c49b9 to a50af79.

Commits
  • a50af79 🩹 fix tracking of peak usage in MemoryManager
  • 1c545ab 🐛 Fix Compute Table Performance (#386)
  • db2299d 🐛 Fix DD node leak (#385)
  • 92f6ce1 Bump extern/pybind11 from 2fb3d7c to f3e0602 (#388)
  • 47c07db ⬆️🪝 update pre-commit hooks (#387)
  • d6e5efc Bump extern/googletest from be03d00 to 6f6ab42 (#389)
  • 92b7b36 ✅ add regression test
  • a079ccf 🚸 better access to compute table stats
  • 702413d 🐛 fix compute table lookup
  • b1b16b1 ✅ add regression test
  • Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

Dependabot will merge this PR once CI passes on it, as requested by @burgholzer.

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

  • @dependabot rebase will rebase this PR
  • @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
  • @dependabot merge will merge this PR after your CI passes on it
  • @dependabot squash and merge will squash and merge this PR after your CI passes on it
  • @dependabot cancel merge will cancel a previously requested merge and block automerging
  • @dependabot reopen will reopen this PR if it is closed
  • @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
  • @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

@dependabot
Bump extern/mqt-core from b1c49b9 to a50af79
201b5fc 
Bumps [extern/mqt-core](https://github.com/cda-tum/mqt-core) from `b1c49b9` to `a50af79`.
- [Release notes](https://github.com/cda-tum/mqt-core/releases)
- [Commits](cda-tum/mqt-core@b1c49b9...a50af79)

---
updated-dependencies:
- dependency-name: extern/mqt-core
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
@dependabot dependabot bot added dependencies Pull requests that update a dependency file submodules Pull requests that update Submodules code labels Aug 8, 2023
@dependabot dependabot bot mentioned this pull request Aug 8, 2023
Closed
@burgholzer
Copy link
Member

@dependabot squash and merge

@dependabot @github
Copy link
Contributor Author

dependabot bot commented on behalf of github Aug 8, 2023

Dependabot was not able to determine that CI was successful.

Please try again once CI has succeeded.

5 similar comments
@dependabot @github
Copy link
Contributor Author

dependabot bot commented on behalf of github Aug 8, 2023

Dependabot was not able to determine that CI was successful.

Please try again once CI has succeeded.

@dependabot @github
Copy link
Contributor Author

dependabot bot commented on behalf of github Aug 8, 2023

Dependabot was not able to determine that CI was successful.

Please try again once CI has succeeded.

@dependabot @github
Copy link
Contributor Author

dependabot bot commented on behalf of github Aug 8, 2023

Dependabot was not able to determine that CI was successful.

Please try again once CI has succeeded.

@dependabot @github
Copy link
Contributor Author

dependabot bot commented on behalf of github Aug 8, 2023

Dependabot was not able to determine that CI was successful.

Please try again once CI has succeeded.

@dependabot @github
Copy link
Contributor Author

dependabot bot commented on behalf of github Aug 8, 2023

Dependabot was not able to determine that CI was successful.

Please try again once CI has succeeded.

@dependabot @github
Copy link
Contributor Author

dependabot bot commented on behalf of github Aug 8, 2023

One of your CI runs failed on this pull request, so Dependabot won't merge it.

Dependabot will still automatically merge this pull request if you amend it and your tests pass.

@dependabot @github
Copy link
Contributor Author

dependabot bot commented on behalf of github Aug 8, 2023

Dependabot was not able to determine that CI was successful.

Please try again once CI has succeeded.

4 similar comments
@dependabot @github
Copy link
Contributor Author

dependabot bot commented on behalf of github Aug 8, 2023

Dependabot was not able to determine that CI was successful.

Please try again once CI has succeeded.

@dependabot @github
Copy link
Contributor Author

dependabot bot commented on behalf of github Aug 8, 2023

Dependabot was not able to determine that CI was successful.

Please try again once CI has succeeded.

@dependabot @github
Copy link
Contributor Author

dependabot bot commented on behalf of github Aug 8, 2023

Dependabot was not able to determine that CI was successful.

Please try again once CI has succeeded.

@dependabot @github
Copy link
Contributor Author

dependabot bot commented on behalf of github Aug 8, 2023

Dependabot was not able to determine that CI was successful.

Please try again once CI has succeeded.

@codecov
Copy link

codecov bot commented Aug 8, 2023

Codecov Report

Merging #357 (201b5fc) into main (87dfe4b) will not change coverage.
Report is 1 commits behind head on main.
The diff coverage is n/a.

@@          Coverage Diff          @@
##            main    #357   +/-   ##
=====================================
  Coverage   92.2%   92.2%           
=====================================
  Files         44      44           
  Lines       4154    4154           
  Branches     698     698           
=====================================
  Hits        3834    3834           
  Misses       320     320
Flag Coverage Δ
cpp 91.8% <ø> (ø)
python 95.8% <ø> (ø)

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

@dependabot dependabot bot merged commit 457ff44 into main Aug 8, 2023
@dependabot dependabot bot deleted the dependabot/submodules/extern/mqt-core-a50af79 branch August 8, 2023 15:41
@dependabot @github
Copy link
Contributor Author

dependabot bot commented on behalf of github Aug 8, 2023

Dependabot is not able to merge this pull request as it is not up-to-date with the base branch.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
dependencies Pull requests that update a dependency file submodules Pull requests that update Submodules code
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@burgholzer