12eb00a
There was a problem hiding this comment.
The reason will be displayed to describe this comment to others. Learn more.
@JuliaRegistrator register()
Sorry, something went wrong.
Registration pull request created: JuliaRegistries/General/28293
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:
git tag -a v1.2.0 -m "<description of version>" 12eb00a2f6b076094fa408853d98ef2415fce1ea git push origin v1.2.0
12eb00aThere was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@JuliaRegistrator register()
12eb00aThere was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Registration pull request created: JuliaRegistries/General/28293
After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.
This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via: