Skip to content

version bump#308

Merged
jverzani merged 1 commit intomasterfrom
version_bump
Dec 17, 2025
Merged

version bump#308
jverzani merged 1 commit intomasterfrom
version_bump

Conversation

@jverzani
Copy link
Contributor

bump version for new docs, ...

@jverzani jverzani merged commit c4702c2 into master Dec 17, 2025
9 checks passed
@jverzani jverzani deleted the version_bump branch December 17, 2025 16:29
@jverzani
Copy link
Contributor Author

Hi @isuruf I merged the updates of @abhro and bumped the version number, but I don't have permission to register a new version. If you have time, can you run the JuliaRegsitrator magic?

The changes were:

  • some documentation updates
  • updates to CI scripts
  • removal of extension for SymbolicUtils, as downstream doesn't work now with SymEngine.

Thanks!

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.

1 participant