Skip to content

GitLab

Merge branch 'feature/disc-string' into 'master' 

[disc] Add toString function for discretization method

See merge request !2724
4 jobs for master in 0 seconds (queued for 65 minutes and 50 seconds)
8bb64a6f
No related merge requests found.
Status Name Job ID Coverage
  Trigger
passed full-dune-2.7-clang #23764
bridge

canceled full-dune-2.7-gcc #23762
bridge

passed minimal-dune-2.7-gcc #23763
bridge

 
  Downstream Modules
canceled trigger lecture #23765
bridge