Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Releases #3

Open
FedeClaudi opened this issue Jul 30, 2022 · 12 comments
Open

Releases #3

FedeClaudi opened this issue Jul 30, 2022 · 12 comments

Comments

@FedeClaudi
Copy link
Owner

@JuliaRegistrator register

@FedeClaudi
Copy link
Owner Author

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/65348

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.1.0 -m "<description of version>" fcbb12a29c5844dbd8b478b30dedee242c2042f3
git push origin v0.1.0

@FedeClaudi
Copy link
Owner Author

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request updated: JuliaRegistries/General/65348

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.1.0 -m "<description of version>" 19c7691a0a041cb6d22c40258ac113cb228800f8
git push origin v0.1.0

@FedeClaudi
Copy link
Owner Author

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/73182

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.1.1 -m "<description of version>" cc7d74b233a664d7337458f18488040b3007ab23
git push origin v0.1.1

@FedeClaudi
Copy link
Owner Author

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/77717

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.1.2 -m "<description of version>" 58514f24dab24a430e2f48d18889889cbbc11895
git push origin v0.1.2

@FedeClaudi
Copy link
Owner Author

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request updated: JuliaRegistries/General/77717

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.1.2 -m "<description of version>" 22a55293de9ae30bc4263a3d0c6eea0843b8c0bc
git push origin v0.1.2

@FedeClaudi
Copy link
Owner Author

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request updated: JuliaRegistries/General/77717

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.1.2 -m "<description of version>" c6253cf01038e0ba0a4b7288128d31d2fd15fbb9
git push origin v0.1.2

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants