Skip to content

Builds the plugin using dune - #378

Open
bmourad01 wants to merge 9 commits into
masterfrom
bmourad/dune-plugin
Open

Builds the plugin using dune#378
bmourad01 wants to merge 9 commits into
masterfrom
bmourad/dune-plugin

Fix when remaking

208e21b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs