Closed dependabot[bot] closed 2 months ago
OK, I won't notify you again about this release, but will get in touch when a new version is available. If you'd rather skip all updates until the next major or minor version, let me know by commenting @dependabot ignore this major version
or @dependabot ignore this minor version
. You can also ignore all major, minor, or patch releases for a dependency by adding an ignore
condition with the desired update_types
to your config file.
If you change your mind, just re-open this PR and I'll resolve any conflicts on it.
Bumps pysmt from 0.9.0 to 0.9.5.
Release notes
Sourced from pysmt's releases.
Changelog
Sourced from pysmt's changelog.
Commits
1060e8a
Version 0.9.5ab9376c
Merge remote-tracking branch 'origin/master' into issue61397c6eda
Improved examples adding needed context/exits. Thanks@andreastedile
for sign...714b6b1
Fixed duplicated distribution on PyPI06d9e21
Merge pull request #712 from pysmt/github-actions099093c
Moved from azure pipelines to github actionsa9060f8
Merge pull request #714 from agirardi-fbk/left-associative-bvaf2603e
Updated left associative BV operators to use polymorph args9fd0659
Merge branch 'master' into left-associative-bvd0543f8
Fixed azure pipelines pypiDependabot 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 show