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

Fix warnings for 2023.1.0 #794

Merged
merged 3 commits into from
Jun 29, 2023
Merged

Fix warnings for 2023.1.0 #794

merged 3 commits into from
Jun 29, 2023

Conversation

ygoumaz
Copy link
Contributor

@ygoumaz ygoumaz commented Jun 28, 2023

Fixes #792.

@ygoumaz ygoumaz added the bug Something isn't working label Jun 28, 2023
@ygoumaz ygoumaz added this to the 2023.1.0 milestone Jun 28, 2023
@ygoumaz ygoumaz requested a review from stefaniapedrazzi June 28, 2023 13:10
@ygoumaz ygoumaz self-assigned this Jun 28, 2023
stefaniapedrazzi
stefaniapedrazzi approved these changes Jun 28, 2023
View reviewed changes
Copy link
Member

@stefaniapedrazzi stefaniapedrazzi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you!

@ygoumaz ygoumaz merged commit 5b30d00 into master Jun 29, 2023
@ygoumaz ygoumaz deleted the fix-worlds-release branch June 29, 2023 06:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@stefaniapedrazzi stefaniapedrazzi stefaniapedrazzi approved these changes

Assignees

@ygoumaz ygoumaz

Labels
bug Something isn't working
Milestone
2023.1.0
Development

Successfully merging this pull request may close these issues.

Warnings in the examples
2 participants
@ygoumaz @stefaniapedrazzi