Skip to content

Conversation

@GiovanniCanali
Copy link
Collaborator

Description

This PR fixes #746

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 11, 2025
@GiovanniCanali GiovanniCanali requested a review from a team as a code owner December 11, 2025 12:21
@GiovanniCanali GiovanniCanali added bug Something isn't working pr-to-review Label for PR that are ready to been reviewed labels Dec 11, 2025
@GiovanniCanali GiovanniCanali merged commit 2a3260e into mathLab:dev Dec 11, 2025
18 of 19 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working pr-to-review Label for PR that are ready to been reviewed

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants