We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
9cde1bb
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/114313
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 v0.12.0 -m "<description of version>" 9cde1bb80907ea0d9639a2f384acf06a536683f2 git push origin v0.12.0
9cde1bb
There 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
Release notes:
9cde1bb
There 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/114313
Tagging
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: