Skip to content

Conversation

Jose-Matsuda
Copy link

@Jose-Matsuda Jose-Matsuda added the auto-deploy Trigger manual CI steps for this PR label Jul 24, 2025
Copy link

@mathis-marcotte mathis-marcotte left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@Jose-Matsuda Jose-Matsuda merged commit 307c84b into master Jul 24, 2025
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
auto-deploy Trigger manual CI steps for this PR
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants