Skip to content

Conversation

@ospencer
Copy link
Member

@ospencer ospencer requested a review from a team October 29, 2025 23:59
@ospencer ospencer self-assigned this Oct 29, 2025
@ospencer ospencer merged commit 96963ee into main Oct 31, 2025
41 of 47 checks passed
@ospencer ospencer deleted the oscar/opam-publish branch October 31, 2025 03:53
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.

3 participants