Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Sync docs for belt_Result.mli #5427

Merged

Conversation

nkrkv
Copy link
Contributor

@nkrkv nkrkv commented Jun 11, 2022

I can sync more modules. I only need an approve that I’m going the right direction

@nkrkv nkrkv mentioned this pull request Jun 11, 2022
35 tasks
@ryyppy ryyppy merged commit 6e3063f into rescript-lang:sync-belt-doc-headers Jun 13, 2022
@ryyppy
Copy link
Member

ryyppy commented Jun 13, 2022

LGTM!

@nkrkv nkrkv deleted the sync-belt-doc-headers-result branch June 13, 2022 19:08
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