Skip to content

Conversation

f-necas
Copy link
Contributor

@f-necas f-necas commented Sep 6, 2024

No description provided.

Copy link
Member

@pmauduit pmauduit left a comment

Choose a reason for hiding this comment

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

I'm not use to these GHA in particular, so it is hard for me to review, but it seems legit

@f-necas f-necas merged commit 4e22c4f into master Sep 10, 2024
@f-necas f-necas deleted the backport-bot branch September 10, 2024 09:32
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