Skip to content

Conversation

@hjgraca
Copy link
Contributor

@hjgraca hjgraca commented Oct 7, 2025

Please provide the issue number

Issue number: #1009

Summary

Changes

update version workflow to fix version retrieval using tag

User experience

Please share what the user experience looks like before and after this change

Checklist

Please leave checklist items unchecked if they do not apply to your change.

Is this a breaking change?

RFC issue number:

Checklist:

  • Migration process documented
  • Implement warnings (if it can live side by side)

Acknowledgment

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

Disclaimer: We value your time and bandwidth. As such, any pull requests created on non-triaged issues might not be successful.

@boring-cyborg boring-cyborg bot added github-actions Changes in GitHub workflows internal Maintenance changes labels Oct 7, 2025
@pull-request-size pull-request-size bot added the size/S Denotes a PR that changes 10-29 lines, ignoring generated files. label Oct 7, 2025
@hjgraca hjgraca requested a review from sthulb October 7, 2025 14:51
@hjgraca hjgraca changed the title chore: update version workflow to allow manual version input and fix version retrieval using tag chore: update version workflow fix version retrieval using tag Oct 7, 2025
sthulb
sthulb previously approved these changes Oct 7, 2025
@sonarqubecloud
Copy link

sonarqubecloud bot commented Oct 7, 2025

@hjgraca hjgraca merged commit 373252b into develop Oct 7, 2025
8 checks passed
@hjgraca hjgraca deleted the fix/version-workflow branch October 7, 2025 15:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

github-actions Changes in GitHub workflows internal Maintenance changes size/S Denotes a PR that changes 10-29 lines, ignoring generated files.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants