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.

Sign up for GitHub

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

Jump to bottom

Update schema & tests, combine scripts #3

Open

NatKarmios wants to merge 4 commits into hackwaly:master from GillianPlatform:update

NatKarmios commented Dec 24, 2024

I've updated some things, including:

Fixed the expect tests (as ppx_expect has changed quite a bit)
Tweaked the ml/mli generation scripts to handle the newer DAP schema
Combined both generation scripts to a single script, as the vast majority is the same

Resolves #2

NatKarmios added 4 commits

December 23, 2024 23:26


          Update DAP schema

c94f5a9


          Fix gen_protocol scripts

2ec3df9


          Fix ppx_expect tests

5431b1b


          Consolidate scripts

e68a8b9

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet