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

New version: SeaPearl v0.4.1 #71074

Merged
merged 1 commit into from
Oct 27, 2022
Merged

Conversation

JuliaRegistrator
Copy link
Contributor

@JuliaRegistrator JuliaRegistrator commented Oct 26, 2022

@github-actions
Copy link
Contributor

github-actions bot commented Oct 26, 2022

Your new version pull request met all of the guidelines for auto-merging and is scheduled to be merged in the next round.


If you want to prevent this pull request from being auto-merged, simply leave a comment. If you want to post a comment without blocking auto-merging, you must include the text [noblock] in your comment.

@JuliaRegistrator JuliaRegistrator force-pushed the registrator/seapearl/c13076dc/v0.4.1 branch from d38fc0f to 2b98643 Compare October 26, 2022 21:22
@JuliaRegistrator JuliaRegistrator temporarily deployed to stopwatch October 26, 2022 21:22 Inactive
@JuliaRegistrator JuliaRegistrator force-pushed the registrator/seapearl/c13076dc/v0.4.1 branch from 2b98643 to 8b66423 Compare October 26, 2022 21:29
@JuliaRegistrator JuliaRegistrator temporarily deployed to stopwatch October 26, 2022 21:29 Inactive
@JuliaRegistrator JuliaRegistrator force-pushed the registrator/seapearl/c13076dc/v0.4.1 branch from 8b66423 to 5658ad2 Compare October 26, 2022 21:40
@JuliaRegistrator JuliaRegistrator temporarily deployed to stopwatch October 26, 2022 21:41 Inactive
@JuliaRegistrator JuliaRegistrator force-pushed the registrator/seapearl/c13076dc/v0.4.1 branch from 5658ad2 to 6a7944e Compare October 26, 2022 21:59
@JuliaRegistrator JuliaRegistrator temporarily deployed to stopwatch October 26, 2022 21:59 Inactive
@JuliaRegistrator JuliaRegistrator force-pushed the registrator/seapearl/c13076dc/v0.4.1 branch from 6a7944e to b1720f1 Compare October 27, 2022 14:44
@JuliaRegistrator JuliaRegistrator temporarily deployed to stopwatch October 27, 2022 14:44 Inactive
@JuliaRegistrator JuliaRegistrator force-pushed the registrator/seapearl/c13076dc/v0.4.1 branch from b1720f1 to 3a0f18a Compare October 27, 2022 17:28
@JuliaRegistrator JuliaRegistrator temporarily deployed to stopwatch October 27, 2022 17:28 Inactive
@JuliaRegistrator JuliaRegistrator force-pushed the registrator/seapearl/c13076dc/v0.4.1 branch from 3a0f18a to 1b0bc4c Compare October 27, 2022 18:00
@JuliaRegistrator JuliaRegistrator temporarily deployed to stopwatch October 27, 2022 18:01 Inactive
@JuliaRegistrator JuliaRegistrator force-pushed the registrator/seapearl/c13076dc/v0.4.1 branch from 1b0bc4c to 1fd5c9e Compare October 27, 2022 18:01
@JuliaRegistrator JuliaRegistrator temporarily deployed to stopwatch October 27, 2022 18:01 Inactive
@JuliaRegistrator JuliaRegistrator force-pushed the registrator/seapearl/c13076dc/v0.4.1 branch from 1fd5c9e to 47b4615 Compare October 27, 2022 18:01
@JuliaRegistrator JuliaRegistrator temporarily deployed to stopwatch October 27, 2022 18:01 Inactive
@JuliaRegistrator JuliaRegistrator force-pushed the registrator/seapearl/c13076dc/v0.4.1 branch from 47b4615 to fa9ea6a Compare October 27, 2022 18:20
@JuliaRegistrator JuliaRegistrator temporarily deployed to stopwatch October 27, 2022 18:20 Inactive
UUID: c13076dc-bdcd-48ba-bc88-4b44c2587ab3
Repo: https://github.com/corail-research/SeaPearl.jl.git
Tree: 5c786050cf84d872d17f10d057894533b778ff13

Registrator tree SHA: 8e1a5ac2695627143951512d700c7e3c445102ec
@JuliaRegistrator JuliaRegistrator force-pushed the registrator/seapearl/c13076dc/v0.4.1 branch from fa9ea6a to dc40f0e Compare October 27, 2022 18:25
@JuliaRegistrator JuliaRegistrator temporarily deployed to stopwatch October 27, 2022 18:25 Inactive
@JuliaTagBot JuliaTagBot merged commit ac26fd5 into master Oct 27, 2022
@JuliaTagBot JuliaTagBot deleted the registrator/seapearl/c13076dc/v0.4.1 branch October 27, 2022 18:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants