Skip to content

Conversation

@jderochervlk
Copy link
Collaborator

This can be merged whenever and I can start a new PR to do more work. It's probably not going to be 1 massive PR.

@vercel
Copy link

vercel bot commented May 14, 2024

@jderochervlk is attempting to deploy a commit to the ReScript Association Team on Vercel.

A member of the Team first needs to authorize it.

@fhammerschmidt
Copy link
Member

Yes, I think we could already merge this when conflicts are resolved. It's already nice to have Core available in general.

@jderochervlk
Copy link
Collaborator Author

Yes, I think we could already merge this when conflicts are resolved. It's already nice to have Core available in general.

I just merged from master, so this should be good to go.

@fhammerschmidt fhammerschmidt merged commit a0cf858 into rescript-lang:master May 15, 2024
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