Merge branch 'ci/fix-test-labels' into 'master' See merge request [!585] [!585]: Nonecore/dune-common/merge_requests/585