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.