Prep Release 1.3.0 about optimalbids.jl HOT 6 CLOSED

@JuliaRegistrator register()

from optimalbids.jl.

Registration pull request created: JuliaRegistries/General/56244

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.3.0 -m "<description of version>" 4ebfa742805a7eaf94c3bc785c13390563287ae5
git push origin v1.3.0

from optimalbids.jl.

@JuliaRegistrator register()

from optimalbids.jl.

Registration pull request created: JuliaRegistries/General/56248

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.3.1 -m "<description of version>" ef463b5170cf9c4e8b5a6b769e134e02d2819c14
git push origin v1.3.1

Also, note the warning: Version 1.3.1 skips over 1.3.0
This can be safely ignored. However, if you want to fix this you can do so. Call register() again after making the fix. This will update the Pull request.

from optimalbids.jl.

@JuliaRegistrator register()

from optimalbids.jl.

Registration pull request updated: JuliaRegistries/General/56244

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.3.0 -m "<description of version>" 414832f8ee41056a5c114665b43f66d4c53624a5
git push origin v1.3.0

from optimalbids.jl.