Skip to content
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

Register #4

Closed
baggepinnen opened this issue Apr 24, 2019 · 112 comments
Closed

Register #4

baggepinnen opened this issue Apr 24, 2019 · 112 comments

Comments

@baggepinnen
Copy link
Owner

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/267

After the above pull request is merged, it is recommended that you create
a tag on this repository for the registered package version:

git tag -a v0.1.0 -m "<description of version>" a78787efa77470e6c3c73bac66ddebf9aaa5aa79
git push origin v0.1.0

@baggepinnen
Copy link
Owner Author

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/806

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:

git tag -a v0.1.1 -m "<description of version>" 48142c42a83e4ff3552bcee332ec0d543bf35ecc
git push origin v0.1.1

@baggepinnen
Copy link
Owner Author

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/851

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:

git tag -a v0.1.2 -m "<description of version>" cc2595de813f95b4f01e11271b350a2ccc565cf4
git push origin v0.1.2

@baggepinnen
Copy link
Owner Author

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request updated: JuliaRegistries/General/851

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:

git tag -a v0.1.2 -m "<description of version>" ec74b29cda5d89202594b88c2efd852787e9fc8d
git push origin v0.1.2

@baggepinnen
Copy link
Owner Author

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request updated: JuliaRegistries/General/851

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:

git tag -a v0.1.2 -m "<description of version>" 4eb4b3f20579f369b3f9605be2c900bcb1235d3e
git push origin v0.1.2

@baggepinnen
Copy link
Owner Author

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/1077

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:

git tag -a v0.2.0 -m "<description of version>" 5617653967a35677d218f56c1c93cf28f208d88f
git push origin v0.2.0

@baggepinnen
Copy link
Owner Author

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/5116

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:

git tag -a v0.2.1 -m "<description of version>" d2f7ed948485b3c9fbd87206328f3c0cfab9c5f5
git push origin v0.2.1

@baggepinnen
Copy link
Owner Author

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/7628

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:

git tag -a v0.2.2 -m "<description of version>" 2b714a233c4ee876eb40b14f1d4afe9fef94982c
git push origin v0.2.2

@baggepinnen
Copy link
Owner Author

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/8040

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:

git tag -a v0.2.3 -m "<description of version>" e6a10907535c4f4eccfa9fe25c55bca3dbc40b69
git push origin v0.2.3

@baggepinnen
Copy link
Owner Author

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/8076

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:

git tag -a v0.3.0 -m "<description of version>" 6b953d0724f0528d7778cedde167af856c9b129e
git push origin v0.3.0

@baggepinnen
Copy link
Owner Author

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/90613

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 v3.3.8 -m "<description of version>" 0bd11e989aef8b34cf71dc7e4773f22ac0ff4dcc
git push origin v3.3.8

@baggepinnen
Copy link
Owner Author

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/90836

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 v3.3.9 -m "<description of version>" 93418d65a37c4fa45010ee4549cec9e61c6acbb4
git push origin v3.3.9

@baggepinnen
Copy link
Owner Author

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request updated: JuliaRegistries/General/90836

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 v3.3.9 -m "<description of version>" d1d5b2d43db6236fa35a334dbd6e0f84291f9158
git push origin v3.3.9

@baggepinnen
Copy link
Owner Author

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/90859

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 v3.4.0 -m "<description of version>" e3cee3ed95592bee0acc64fa95669181eacdef61
git push origin v3.4.0

@baggepinnen
Copy link
Owner Author

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/90903

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 v3.4.1 -m "<description of version>" 674bd830769a207031cb2fe163d6bb566945156e
git push origin v3.4.1

@baggepinnen
Copy link
Owner Author

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/90908

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 v3.5.0 -m "<description of version>" 50f1356f5ac64d0dbba7c49f0240331ee2905720
git push origin v3.5.0

@baggepinnen
Copy link
Owner Author

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/92460

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 v3.6.0 -m "<description of version>" 9b087f0d5f8b05fe77bcfeb8424440d47edeb905
git push origin v3.6.0

@baggepinnen
Copy link
Owner Author

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/99946

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 v3.6.3 -m "<description of version>" e72de78589717ff710cf505f43479398551cbc05
git push origin v3.6.3

@baggepinnen
Copy link
Owner Author

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/118635

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 v3.6.5 -m "<description of version>" 259450c103e8ac1daed0ac36578698ed87c0b4d3
git push origin v3.6.5

@baggepinnen
Copy link
Owner Author

@JuliaRegistrator register

Release notes:

  • The internals of Kalman filters (all flavors) have been redesigned in order to allow completely allocation free operation when all arrays are static. The performance-tips section of the docs indicate how to set up a filter to achieve this.
  • Kalman filters are tested for absence of potential dynamic dispatch using JET.jl. This should hopefully make then suitable for compilation using juliac, and possibly also StaticCompiler.jl
  • If you run into method or type errors due to the change of internals, please open an issue.

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/118817

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 v3.7.0 -m "<description of version>" e1683f50eb19164b8094c5ce9c16a121837acaec
git push origin v3.7.0

@baggepinnen
Copy link
Owner Author

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/118871

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 v3.7.1 -m "<description of version>" 55df10e50c09de15960c9f8f48b9d7838f07fb63
git push origin v3.7.1

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants