Skip to content

Conversation

@azu
Copy link
Member

@azu azu commented Oct 12, 2025

No description provided.

@azu azu added the Type: CI Changes to CI configuration files and scripts label Oct 12, 2025
@azu azu merged commit d495b8a into master Oct 12, 2025
5 checks passed
@azu azu deleted the fix-script branch October 12, 2025 10:21
@github-actions github-actions bot mentioned this pull request Oct 12, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Type: CI Changes to CI configuration files and scripts

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants