Skip to content

ci: workaround for updater not allowing wildcard as character in names#97

Merged
vaind merged 1 commit into
mainfrom
vaind-patch-1
Oct 20, 2025
Merged

ci: workaround for updater not allowing wildcard as character in names#97
vaind merged 1 commit into
mainfrom
vaind-patch-1

Conversation

@vaind

@vaind vaind commented Oct 20, 2025

Copy link
Copy Markdown
Collaborator

No description provided.

@vaind vaind merged commit d50fd66 into main Oct 20, 2025
5 checks passed
@vaind vaind deleted the vaind-patch-1 branch October 20, 2025 12:11
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.

1 participant