Skip to content

Conversation

@PProfizi
Copy link
Contributor

No description provided.

@PProfizi PProfizi self-assigned this Dec 12, 2023
@PProfizi PProfizi changed the title Fix Server suffix selection Fix server suffix selection Dec 12, 2023
@PProfizi PProfizi merged commit da9f1e3 into master Dec 12, 2023
@PProfizi PProfizi deleted the ci/fix_server_suffix branch December 12, 2023 20:03
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