Latest SeaPearl versions no longer pushed to julia package registry

[jardinetsouffleton]

This was discovered as we were trying to make the latest SeaPearlZoo tests: some functions that are in the SeaPearl codebase seem to be unavailable when using the package. This is most likely due to a problem pushing the latest version of the package to julia's package registry

[jardinetsouffleton]

@JuliaRegistrator register()

[JuliaRegistrator]

Registration pull request created: JuliaRegistries/General/71074

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

[jardinetsouffleton]

@JuliaRegistrator register()

[JuliaRegistrator]

Registration pull request updated: JuliaRegistries/General/71074

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.4.1 -m "<description of version>" 0998a0b0d244583e45e1c8ec177dc754f0012276
git push origin v0.4.1

[jardinetsouffleton]

@JuliaRegistrator register()

[JuliaRegistrator]

Registration pull request updated: JuliaRegistries/General/71074

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.4.1 -m "<description of version>" 0998a0b0d244583e45e1c8ec177dc754f0012276
git push origin v0.4.1

[jardinetsouffleton]

@JuliaRegistrator register()

[JuliaRegistrator]

Registration pull request updated: JuliaRegistries/General/71074

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

[jardinetsouffleton]

@JuliaRegistrator register()

[jardinetsouffleton]

@JuliaRegistrator register()

[JuliaRegistrator]

Registration pull request updated: JuliaRegistries/General/71074

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.4.1 -m "<description of version>" 984ab800c19b96840665ce719c677e549ac53a8c
git push origin v0.4.1

[jardinetsouffleton]

@JuliaRegistrator register()