Skip to content

Commit

Permalink
Bump version to 0.3.0
Browse files Browse the repository at this point in the history
  • Loading branch information
@JordiManyer
JordiManyer authored Aug 21, 2023
1 parent cb002b5 commit 890c66e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Project.toml
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
name = "GridapP4est"
uuid = "c2c8e14b-f5fd-423d-9666-1dd9ad120af9"
authors = ["Alberto F. Martin <[email protected]>"]
version = "0.2.0"
version = "0.3.0"

[deps]
ArgParse = "c7e460c6-2fb9-53a9-8c5b-16f535851c63"
Expand Down

6 comments on commit 890c66e

@JordiManyer
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Registration pull request created: JuliaRegistries/General/90006

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>" 890c66e46f9eefee3861d159e97a9506d9df835a
git push origin v0.3.0

@JordiManyer
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@amartinhuertas The new version is registered and correctly appears in the package manager, but the TagBot failed to create a new tag for v0.3.0. Should we create the tag manually?

@amartinhuertas
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@amartinhuertas The new version is registered and correctly appears in the package manager, but the TagBot failed to create a new tag for v0.3.0. Should we create the tag manually?

I see now the tag. Did you finally have to create it manually?

@JordiManyer
Copy link
Member Author

@JordiManyer JordiManyer commented on 890c66e Aug 23, 2023 •
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I see now the tag. Did you finally have to create it manually?

I though that was you... I guess it took a couple of days for the tag to appear?

@amartinhuertas
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I though that was you

No, I was not.

I guess it took a couple of days for the tag to appear?

Yes, it seems so.

Please sign in to comment.