Skip to content

Refresh project build#5

Open
rgrinberg wants to merge 1 commit intocedlemo:masterfrom
rgrinberg:port-dune
Open

Refresh project build#5
rgrinberg wants to merge 1 commit intocedlemo:masterfrom
rgrinberg:port-dune

Conversation

@rgrinberg
Copy link

  • Port to dune
  • Fix warnings
  • ocamlformat all the source

- Port to dune
- Fix warnings
- ocamlformat all the source

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
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.

1 participant