Apply 1 suggestion(s) to 1 file(s)

3 jobs for !2408 with feature/ci-integration
detached
Status Job ID Name Coverage
  Trigger Pipelines
failed full-dune-2.7-clang

failed full-dune-2.7-gcc

failed minimal-dune-2.7-gcc