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