Skip to content

Conversation

@ppinchuk
Copy link
Collaborator

@ppinchuk ppinchuk commented Nov 8, 2025

Fix bad syntax

@ppinchuk ppinchuk requested a review from castelao as a code owner November 8, 2025 20:05
@ppinchuk ppinchuk self-assigned this Nov 8, 2025
@ppinchuk ppinchuk added chore Maintenance work that does not impact the user github_actions Pull requests that update GitHub Actions code labels Nov 8, 2025
@ppinchuk ppinchuk added this to the Finishing touches for OSS milestone Nov 8, 2025
@ppinchuk ppinchuk merged commit b33ea40 into main Nov 8, 2025
12 of 13 checks passed
@ppinchuk ppinchuk deleted the pp/fix_wf branch November 8, 2025 20:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Maintenance work that does not impact the user github_actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant