Check out dune common with power header for CI
This basically pins dune-common to the commit before core/dune-common!1304 (merged) so that the CI works. Should be removed when https://github.com/parafields/parafields-core/pull/59 gets accepted.
This basically pins dune-common to the commit before core/dune-common!1304 (merged) so that the CI works. Should be removed when https://github.com/parafields/parafields-core/pull/59 gets accepted.