Skip to content

Update dune-project to fix build issue with recent dune versions - #2

Open
mseri wants to merge 2 commits into
dc-mak:masterfrom
mseri:patch-1
Open

Update dune-project to fix build issue with recent dune versions#2
mseri wants to merge 2 commits into
dc-mak:masterfrom
mseri:patch-1

jbuild-workspace is no longer needed

ac057e1
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs