Skip to content

Conversation

@pedromsousalima
Copy link
Contributor

What This PR Changes

  • Changed library name

Contribution Guidelines

@pedromsousalima pedromsousalima self-assigned this Jun 4, 2025
@pedromsousalima pedromsousalima requested review from jcarolinares and removed request for jhansson-ard June 5, 2025 07:07
@pedromsousalima
Copy link
Contributor Author

@jcarolinares the library name remains the same so these had to be changed

Copy link
Contributor

@jcarolinares jcarolinares left a comment

Choose a reason for hiding this comment

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

@pedromsousalima checked right version

R&D did not the release the new version in the timeframe we expected, thefore we need to revert the changes until furthre changes

@jcarolinares jcarolinares merged commit b45d451 into main Jun 9, 2025
4 checks passed
@jcarolinares jcarolinares deleted the pedromsousalima/modulinos/example-fixes branch June 9, 2025 08:43
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.

2 participants