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

Release 0.18.0 #4508

Merged
merged 16 commits into from
Apr 28, 2023
Merged

Release 0.18.0 #4508

merged 16 commits into from
Apr 28, 2023

Conversation

fkiraly
Copy link
Collaborator

@fkiraly fkiraly commented Apr 25, 2023 •
edited
Loading

Release PR for 0.18.0

  • version number bump
  • changelog

@fkiraly fkiraly added maintenance Continuous integration, unit testing & package distribution release release related PR and issues - checked by release manager labels Apr 25, 2023
@fkiraly fkiraly marked this pull request as ready for review April 28, 2023 21:40
@fkiraly fkiraly merged commit 9a2ab1c into main Apr 28, 2023
@fkiraly fkiraly deleted the release-0.18.0 branch April 28, 2023 22:57
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
maintenance Continuous integration, unit testing & package distribution release release related PR and issues - checked by release manager
Projects
None yet
Milestone
No milestone
Development

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