-
Notifications
You must be signed in to change notification settings - Fork 32
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 #1332
Comments
@JuliaRegistrator register() |
Registration pull request created: JuliaRegistries/General/891 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 Julia TagBot is installed, or can be done manually through the github interface, or via:
|
@JuliaRegistrator register() |
Registration pull request created: JuliaRegistries/General/1370 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 Julia TagBot is installed, or can be done manually through the github interface, or via:
|
@JuliaRegistrator register() |
Registration pull request created: JuliaRegistries/General/1749 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 Julia TagBot is installed, or can be done manually through the github interface, or via:
|
@JuliaRegistrator register() |
Registration pull request created: JuliaRegistries/General/1792 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 Julia TagBot is installed, or can be done manually through the github interface, or via:
|
@JuliaRegistrator register() |
Registration pull request created: JuliaRegistries/General/2335 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 Julia TagBot is installed, or can be done manually through the github interface, or via:
|
@JuliaRegistrator register() |
Registration pull request created: JuliaRegistries/General/2487 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 Julia TagBot is installed, or can be done manually through the github interface, or via:
|
@JuliaRegistrator register() |
Error while trying to register: Error in Project.toml: Package 'IntervalMatrices' with UUID: 5c1f47dc-42dd-5697-8aaa-4d102d140ba9 not found in registry or stdlib |
@JuliaRegistrator register() |
Registration pull request created: JuliaRegistries/General/2893 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 Julia TagBot is installed, or can be done manually through the github interface, or via:
|
@JuliaRegistrator register() |
Registration pull request created: JuliaRegistries/General/3039 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 Julia TagBot is installed, or can be done manually through the github interface, or via:
|
@JuliaRegistrator register() |
Registration pull request created: JuliaRegistries/General/3072 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 Julia TagBot is installed, or can be done manually through the github interface, or via:
|
Registration pull request created: JuliaRegistries/General/46397 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:
|
@JuliaRegistrator register() |
Registration pull request created: JuliaRegistries/General/46402 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:
|
@JuliaRegistrator register() |
Registration pull request created: JuliaRegistries/General/46914 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:
|
@JuliaRegistrator register() |
Registration pull request created: JuliaRegistries/General/53479 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:
|
@JuliaRegistrator register() |
Registration pull request created: JuliaRegistries/General/55963 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:
|
@JuliaRegistrator register() |
Registration pull request created: JuliaRegistries/General/56747 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:
|
@JuliaRegistrator register() |
Registration pull request created: JuliaRegistries/General/60243 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:
|
@JuliaRegistrator register() |
Registration pull request created: JuliaRegistries/General/63963 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:
|
@JuliaRegistrator register() |
1 similar comment
@JuliaRegistrator register() |
Registration pull request created: JuliaRegistries/General/64083 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:
|
@JuliaRegistrator register() |
Registration pull request created: JuliaRegistries/General/64421 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:
|
Here we trigger new releases using
Registrator
(example).Meta issue.
The text was updated successfully, but these errors were encountered: