codecov[bot]
commented
1 year ago Codecov Report
Merging #227 (a1c2cd6) into main (553ca3c) will not change coverage. The diff coverage is
n/a.
@@ Coverage Diff @@
## main #227 +/- ##
=====================================
Coverage 97.0% 97.0%
=====================================
Files 33 33
Lines 1707 1707
Branches 210 210
=====================================
Hits 1657 1657
Misses 50 50 | Flag | Coverage Δ | |
|---|---|---|
| cpp | 97.1% <ø> (ø) |
|
| python | 96.9% <ø> (ø) |
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%> (ø) |
Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.
burgholzer
Bumps pypa/cibuildwheel from 2.11.4 to 2.12.0.
Release notes
Sourced from pypa/cibuildwheel's releases.
Changelog
Sourced from pypa/cibuildwheel's changelog.
Commits
a808017Bump version: v2.12.04e1fcb8Merge pull request #1394 from pypa/update-dependencies-pr4afa12eUpdate dependencies92cb1d8feat: add PyPy macOS arm64 (#1372)06c4927[Bot] Update dependencies (#1381)9b0d63bci: use normal AppVeyor macOS image (#1388)6df1568[pre-commit.ci] pre-commit autoupdate (#1382)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)