fixup

Status Name Job ID Coverage
  Trigger
manual full-dune-latest-release-clang
manual full-dune-latest-release-gcc
manual full-dune-master-gcc
failed minimal-dune-latest-release-gcc

 
  Downstream Modules
created trigger lecture