We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
Finalize what the 1.0.0 Release looks like, then submit this to Julia to get it officially registered as a package so you can just do ]add MParT.
]add MParT
The text was updated successfully, but these errors were encountered:
@JuliaRegistrator register
Sorry, something went wrong.
Registration pull request created: JuliaRegistries/General/68171
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>" ecbd9ae254dd43adfcbed84a40185a155ca1cb39 git push origin v1.0.0
Successfully merging a pull request may close this issue.
Finalize what the 1.0.0 Release looks like, then submit this to Julia to get it officially registered as a package so you can just do
]add MParT
.The text was updated successfully, but these errors were encountered: