Skip to content

Conversation

@GiovanniCanali
Copy link
Collaborator

Description

This PR deals with all collateral effects introduced by #699.

This PR fixes #TODO.

Checklist

  • Code follows the project’s Code Style Guidelines
  • Tests have been added or updated
  • Documentation has been updated if necessary
  • Pull request is linked to an open issue

@GiovanniCanali GiovanniCanali self-assigned this Dec 4, 2025
@GiovanniCanali GiovanniCanali added enhancement New feature or request pr-to-fix Label for PR that needs modification labels Dec 4, 2025
@GiovanniCanali
Copy link
Collaborator Author

Do not merge until #699 is completed. Test will fail until then

@GiovanniCanali GiovanniCanali mentioned this pull request Dec 4, 2025
4 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request pr-to-fix Label for PR that needs modification

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant