[Test] CI Coverage

This is just a test to check if coverage works properly in the CI Configuration file

added 1 commit

• a72f8335 - Diable python

Compare with previous version

mentioned in merge request ci-config!30 (merged)

added 1 commit

• 991e5b3a - Disable python

Compare with previous version

This seems to work. Coverage reports are picked up by the CI, see https://gitlab.dune-project.org/core/dune-common/-/jobs/654072. The idea is to incorporate this on every CI file. See ci-config!30 (merged).

closed