Skip to content

Conversation

yrodiere
Copy link
Member

This should be safer as these nodes are only used once.

This should be safer as these nodes are only used once.
@DavideD
Copy link
Member

DavideD commented Jan 16, 2025

Merged, thanks.

I changed the commit message to include an issue code: 8178bf8

@DavideD DavideD closed this Jan 16, 2025
@yrodiere
Copy link
Member Author

Thanks.

I changed the commit message to include an issue code: 8178bf8

FWIW on Hibernate ORM, Search and Validator we consider issues optional for changes that only affect the build/CI.

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.

Use specific Jenkins nodes for releases
2 participants