Skip to content
Snippets Groups Projects

bug fix

Failed
Andreas Dedner created pipeline for commit c9be6105
, finished
1 related merge request: !6 Latest improvements in dune-fem-dg
branch
1 job 27 seconds, queued for 3 seconds