Github action to build with dune package management#653

gridbugs wants to merge 1 commit into

moby:mastermoby/vpnkit:masterfrom

gridbugs:dune-pkggridbugs/vpnkit:dune-pkgCopy head branch name to clipboard