Skip to content

Conversation

@fzhinkin
Copy link
Collaborator

@fzhinkin fzhinkin commented Aug 9, 2023

No description provided.

@fzhinkin fzhinkin added the infra label Aug 9, 2023
@fzhinkin fzhinkin requested a review from shanshin August 9, 2023 14:06
@fzhinkin fzhinkin merged commit dc63e3d into develop Aug 9, 2023
@fzhinkin fzhinkin deleted the build-scripts-cleanup branch August 9, 2023 16:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants