fix coverage reporting by setting correct workdir

dune-community / dune-xt-common

Other

2 stars 3 forks source link

Closed renefritze closed 6 years ago

renefritze commented 6 years ago

please note that currently no coverage data is collected for pybind11 extension modules