ArrogantGao / TreeWidthSolver.jl

Implementation of the tree width algorithms.
MIT License
13 stars 1 forks source link

register #13

Open ArrogantGao opened 2 months ago

ArrogantGao commented 2 months ago

@JuliaRegistrator register()

JuliaRegistrator commented 2 months ago

Registration pull request created: JuliaRegistries/General/112422

Tip: Release Notes

Did you know you can add release notes too? Just add markdown formatted text underneath the comment after the text "Release notes:" and it will be added to the registry PR, and if TagBot is installed it will also be added to the release that TagBot creates. i.e.

@JuliaRegistrator register

Release notes:

## Breaking changes

- blah

To add them here just re-invoke and the PR will be updated.

Tagging

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.2.0 -m "<description of version>" 186e70baac8bae78c742372babc0f5dd32e95139
git push origin v0.2.0
ArrogantGao commented 1 month ago

@JuliaRegistrator register()

JuliaRegistrator commented 1 month ago

Registration pull request created: JuliaRegistries/General/113195

Tip: Release Notes

Did you know you can add release notes too? Just add markdown formatted text underneath the comment after the text "Release notes:" and it will be added to the registry PR, and if TagBot is installed it will also be added to the release that TagBot creates. i.e.

@JuliaRegistrator register

Release notes:

## Breaking changes

- blah

To add them here just re-invoke and the PR will be updated.

Tagging

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.3.0 -m "<description of version>" cb6cfb3b1e0ab63f2522d4de3577db33e8601bb6
git push origin v0.3.0
ArrogantGao commented 1 month ago

@JuliaRegistrator register()

JuliaRegistrator commented 1 month ago

Registration pull request created: JuliaRegistries/General/113221

Tip: Release Notes

Did you know you can add release notes too? Just add markdown formatted text underneath the comment after the text "Release notes:" and it will be added to the registry PR, and if TagBot is installed it will also be added to the release that TagBot creates. i.e.

@JuliaRegistrator register

Release notes:

## Breaking changes

- blah

To add them here just re-invoke and the PR will be updated.

Tagging

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.3.1 -m "<description of version>" 07a815196b108109829c065055d91634572c8716
git push origin v0.3.1
ArrogantGao commented 1 month ago

@JuliaRegistrator register()

JuliaRegistrator commented 1 month ago

Registration pull request created: JuliaRegistries/General/113364

Tip: Release Notes

Did you know you can add release notes too? Just add markdown formatted text underneath the comment after the text "Release notes:" and it will be added to the registry PR, and if TagBot is installed it will also be added to the release that TagBot creates. i.e.

@JuliaRegistrator register

Release notes:

## Breaking changes

- blah

To add them here just re-invoke and the PR will be updated.

Tagging

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.3.2 -m "<description of version>" 3e76ddcc8061fc5e205d6f2894051b2bc2217125
git push origin v0.3.2
ArrogantGao commented 1 week ago

@JuliaRegistrator register

JuliaRegistrator commented 1 week ago

Registration pull request created: JuliaRegistries/General/116264

Tip: Release Notes

Did you know you can add release notes too? Just add markdown formatted text underneath the comment after the text "Release notes:" and it will be added to the registry PR, and if TagBot is installed it will also be added to the release that TagBot creates. i.e.

@JuliaRegistrator register

Release notes:

## Breaking changes

- blah

To add them here just re-invoke and the PR will be updated.

Tagging

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