Closed antoninkriz closed 1 year ago
Registration pull request created: JuliaRegistries/General/89938
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.0.0 -m "<description of version>" 0609a3f3dfba3c083c98b06590c79f670a3b5969
git push origin v1.0.0
@JuliaRegistrator register
Registration pull request updated: JuliaRegistries/General/89938
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.0.0 -m "<description of version>" fc76d7f81e180bd58c86d44f7bebbd5fce358076
git push origin v1.0.0
@JuliaRegistrator register
Registration pull request updated: JuliaRegistries/General/89938
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.0.0 -m "<description of version>" 513578cd7854ff7bec4beefa2e2706b903f87ecd
git push origin v1.0.0
@JuliaRegistrator register
Registration pull request created: JuliaRegistries/General/90018
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.0.0 -m "<description of version>" bbf35d1722c0de9907aba6ee2bf57cf7bfd197fd
git push origin v1.0.0
Hurray!
@JuliaRegistrator register