Skip to content

Use rescript-schema V8 - #74

Merged
DZakh merged 1 commit into
mainfrom
dz/rescript-schema-v8
Jul 17, 2024
Merged

Use rescript-schema V8#74
DZakh merged 1 commit into
mainfrom
dz/rescript-schema-v8

Conversation

@DZakh

@DZakh DZakh commented Jul 17, 2024

Copy link
Copy Markdown
Member

Nothing breaking for us, just a little bit faster and more reliable

@DZakh
DZakh requested a review from JonoPrest July 17, 2024 07:52
@github-actions

Copy link
Copy Markdown

Here's the diff of the codegen output.🙌🧠🦜

@DZakh
DZakh force-pushed the dz/rescript-schema-v8 branch from 47267f2 to a098a51 Compare July 17, 2024 11:00

@JonoPrest JonoPrest left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice!

@DZakh
DZakh merged commit 4063fc9 into main Jul 17, 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