Skip to content

Insert a dummy version#9

Merged
ennru merged 1 commit intomainfrom
ennru-dummy-version
Feb 12, 2026
Merged

Insert a dummy version#9
ennru merged 1 commit intomainfrom
ennru-dummy-version

Conversation

@ennru
Copy link
Copy Markdown
Contributor

@ennru ennru commented Feb 12, 2026

Getting versions through git in Github workflows is cumbersome.
A fixed version should do, I believe.

References

Copy link
Copy Markdown
Contributor

@sebastian-alfers sebastian-alfers left a comment

Choose a reason for hiding this comment

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

LGTM

@ennru ennru merged commit 0c9c21d into main Feb 12, 2026
5 checks passed
@ennru ennru deleted the ennru-dummy-version branch February 12, 2026 12:02
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

Successfully merging this pull request may close these issues.

2 participants