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

Bugfix/715 merge #719

Merged
merged 6 commits into from
Feb 11, 2023
Merged

Bugfix/715 merge #719

merged 6 commits into from
Feb 11, 2023

Conversation

yakky
Copy link
Member

@yakky yakky commented Feb 11, 2023

Description

Merge #716 with required code changes

References

Fix #715
Fix #716

Checklist

  • I have read the contribution guide
  • Code lint checked via inv lint
  • changes file included (see docs)
  • Usage documentation added in case of new features
  • Tests added

Adrien Delhorme and others added 6 commits February 8, 2023 11:39
@yakky
Copy link
Member Author

yakky commented Feb 11, 2023

Merging as is, updated requirements will follow in a future PR

@yakky yakky merged commit 6a3224e into develop Feb 11, 2023
@yakky yakky mentioned this pull request Feb 11, 2023
5 tasks
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.

Pre-commit does not work
1 participant