Skip to content

Conversation

@lemire
Copy link
Member

@lemire lemire commented Oct 20, 2025

No idea whether this would work, but it looks like this is needed.

@lemire lemire requested a review from piotrrzysko October 20, 2025 18:09
@piotrrzysko
Copy link
Collaborator

piotrrzysko commented Oct 20, 2025

This is a good change. But it will not help with maven. I commented this out, to avoid generating too many Github Releases while testing the release action.

@lemire
Copy link
Member Author

lemire commented Oct 20, 2025

@piotrrzysko I leave it up to you to merge.

@lemire
Copy link
Member Author

lemire commented Oct 20, 2025

Ok. Let us try it.

@lemire lemire merged commit 8a4e0a0 into master Oct 20, 2025
2 checks passed
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.

3 participants