Skip to content

Conversation

@ElectreAAS
Copy link
Collaborator

Split-off from #12580

@ElectreAAS ElectreAAS requested a review from Alizter October 30, 2025 11:08
Signed-off-by: Ambre Austen Suhamy <[email protected]>
@Alizter Alizter merged commit 5ab19c2 into ocaml:main Oct 30, 2025
25 of 26 checks passed
@ElectreAAS ElectreAAS deleted the push-upqumuvmkunw branch October 31, 2025 11:13
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