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

chore: release v0.10.0 #112

Merged
merged 2 commits into from
Oct 20, 2023
Merged

chore: release v0.10.0 #112

merged 2 commits into from
Oct 20, 2023

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Oct 16, 2023

🤖 New release

  • portgraph: 0.9.0 -> 0.10.0 (✓ API compatible changes)
Changelog

0.10.0 (2023-10-20)

Features

  • Simpler convex checker, no longer requires &mut (#114)

Miscellaneous Tasks

  • [breaking] Update pyo3 requirement from 0.19 to 0.20 (#110)

Doc

  • Add DEVELOPMENT.md


This PR was generated with release-plz.

@github-actions github-actions bot changed the title chore: release v0.9.1 chore: release v0.10.0 Oct 16, 2023
@github-actions github-actions bot force-pushed the release-plz/2023-10-16T11-08-58Z branch 2 times, most recently from 9a493f7 to b47f115 Compare October 20, 2023 08:40
Signed-off-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
@github-actions github-actions bot force-pushed the release-plz/2023-10-16T11-08-58Z branch from b47f115 to a8f4cca Compare October 20, 2023 10:02
@aborgna-q aborgna-q added this pull request to the merge queue Oct 20, 2023
Merged via the queue into main with commit 33e8cf2 Oct 20, 2023
@aborgna-q aborgna-q deleted the release-plz/2023-10-16T11-08-58Z branch October 20, 2023 10:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant