Experiment with a setup-dune based more-ci workflow#28

mbarbin merged 1 commit intomainmbarbin/fpath-base:mainfrom

setup-dune-more-cimbarbin/fpath-base:setup-dune-more-ciCopy head branch name to clipboard