Closed dehann closed 1 year ago
Registration pull request created: JuliaRegistries/General/91136
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.23.3 -m "<description of version>" 57098f5d99b9cf6559ef74561b9ee691e54cdc8f
git push origin v0.23.3
@JuliaRegistrator register branch=release/v0.23
Registration pull request updated: JuliaRegistries/General/91136
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.23.3 -m "<description of version>" 57098f5d99b9cf6559ef74561b9ee691e54cdc8f
git push origin v0.23.3
@JuliaRegistrator register branch=release/v0.23