Skip to content

Wrong version rendered for tagged releases #85

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom
Open
vulder opened this issue Jun 12, 2023 · 0 comments
Open

Wrong version rendered for tagged releases #85

vulder opened this issue Jun 12, 2023 · 0 comments
Assignees
@vulder
Labels
bug Something isn't working

Comments

@vulder
Copy link
Collaborator

vulder commented Jun 12, 2023

Currently, the versions that are published for tags do contain the PR_ prefix.
We should remove this.
@vulder vulder added the bug Something isn't working label Jun 12, 2023
@vulder vulder self-assigned this Jun 12, 2023
@diehlpk diehlpk mentioned this issue Oct 21, 2024
Open
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees

@vulder vulder

Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@vulder