Closed dependabot[bot] closed 1 year ago
Merging #235 (4ad2af4) into main (608be7f) will increase coverage by
0.0%
. The diff coverage isn/a
.
@@ Coverage Diff @@
## main #235 +/- ##
=====================================
Coverage 96.9% 97.0%
=====================================
Files 34 34
Lines 1721 1721
Branches 210 210
=====================================
+ Hits 1669 1670 +1
+ Misses 52 51 -1
Flag | Coverage Δ | |
---|---|---|
cpp | 96.9% <ø> (+<0.1%) |
:arrow_up: |
python | 97.3% <ø> (ø) |
Flags with carried forward coverage won't be shown. Click here to find out more.
Impacted Files | Coverage Δ | |
---|---|---|
src/checker/dd/DDEquivalenceChecker.cpp | 91.7% <0.0%> (+0.9%) |
:arrow_up: |
Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.
@dependabot squash and merge
Bumps extern/qfr from
94257ff
to90a3445
.Commits
90a3445
⬆️🪝 update pre-commit hooks (#259)faa1d1b
⬆️🪝 update pre-commit hooks37722f2
🚸 Add barrier before measurements (#258)d6708c3
✅ adjust testsfdd7b92
🚸 add barrier before measurementsb00c4cc
Fixed a wrong property in CMake (#257)b7ee319
Fixed a wrong property in CMakea7d0ab9
⬆️🪝 update pre-commit hooks (#256)5db1a7b
⬆️🪝 update pre-commit hooksabed672
Bump pypa/cibuildwheel from 2.11.4 to 2.12.0 (#255)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 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)