Open ZhengLiu1119 opened 2 years ago
@JuliaRegistrator register()
Error while trying to register: "Tag with name v0.5.0
already exists and points to a different commit"
@JuliaRegistrator register()
Registration pull request created: JuliaRegistries/General/68075
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.6.0 -m "<description of version>" 4025567c4c4851fab7b19a64d75bc15e710aebd0
git push origin v0.6.0
@JuliaRegistrator register()
Registration pull request created: JuliaRegistries/General/68635
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.7.0 -m "<description of version>" 95881f421e36f778621ad9e55f7c57a0bc68f5d1
git push origin v0.7.0
added code and test for storage optimization