Skip to content
Commit 93744d05 authored by Andreas Klöckner's avatar Andreas Klöckner
Browse files

Merge branch 'refinement-avoid-gmsh-generation' into 'master' 

Avoid on-the-fly gmsh generation, to avoid flaky CI--e.g....

See merge request !52
parents 678722d8 940c0a7c
Pipeline #14635 passed with stage
in 19 minutes and 17 seconds