Skip to content

Conversation

@Nexucis
Copy link
Member

@Nexucis Nexucis commented Jun 11, 2025

related to #2671

@Nexucis
Copy link
Member Author

Nexucis commented Jun 11, 2025

ping @AntoineThebaud

@Nexucis Nexucis force-pushed the nexucis/add-perses branch from b63770c to 1d04555 Compare June 11, 2025 08:28
@Nexucis Nexucis marked this pull request as ready for review June 11, 2025 09:19
@Nexucis Nexucis requested a review from juliusv June 11, 2025 12:35
@Nexucis Nexucis merged commit 19b2d91 into main Jun 13, 2025
5 checks passed
@Nexucis Nexucis deleted the nexucis/add-perses branch June 13, 2025 08:31
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.

4 participants