Merge branch 'feature/fix-ci' into 'master'

ref:extensions/dune-codegen See whether that helps

See merge request [extensions/dune-codegen!291]

  [extensions/dune-codegen!291]: gitlab.dune-project.org/extensions/dune-codegen/merge_requests/291

Merge branch 'feature/allow-disabling-of-measures' into 'master'

See merge request [extensions/dune-codegen!289]

  [extensions/dune-codegen!289]: Noneextensions/dune-codegen/merge_requests/289

If you need this you can still do it manually, but there is absolutely
no reason to have it unconditionally.

Merge branch 'bugfix/abort-vectorization' into 'master'

See merge request [extensions/dune-codegen!288]

  [extensions/dune-codegen!288]: Noneextensions/dune-codegen/merge_requests/288

Merge branch 'feature/latest-dune-richards' into 'master'

See merge request [extensions/dune-codegen!286]

  [extensions/dune-codegen!286]: Noneextensions/dune-codegen/merge_requests/286

Using the same concept we use for visiting with hasattr.

These can be exceptionally challenging while not contributing to the
overall performance. So we might want to skip.

Merge branch 'feature/project-renaming' into 'master'

See merge request [dominic/dune-perftool!283]

  [dominic/dune-perftool!283]: Nonedominic/dune-perftool/merge_requests/283