Skip to content

Update jbuilder to dune and drop the Makefile for now - #12

Open
gaku-sei wants to merge 1 commit into
pdonadeo:masterfrom
gaku-sei:move-to-dune
Open

Update jbuilder to dune and drop the Makefile for now#12
gaku-sei wants to merge 1 commit into
pdonadeo:masterfrom
gaku-sei:move-to-dune

refactor(dune): Update jbuilder to dune and drop the Makefile for now

e967e93
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs