Skip to content

Conversation

@GiovanniCanali
Copy link
Collaborator

Description

This PR fixes #744

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 added bug Something isn't working pr-to-fix Label for PR that needs modification pr-to-review Label for PR that are ready to been reviewed and removed pr-to-fix Label for PR that needs modification labels Dec 11, 2025
@GiovanniCanali GiovanniCanali marked this pull request as ready for review December 11, 2025 10:23
@GiovanniCanali GiovanniCanali requested a review from a team as a code owner December 11, 2025 10:23
@GiovanniCanali GiovanniCanali merged commit 9d65060 into mathLab:dev Dec 11, 2025
18 of 19 checks passed
@GiovanniCanali GiovanniCanali deleted the fix_r3refinement branch December 11, 2025 11:06
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.

2 participants