Hello, When doing `guix install fenics` the check phase of fenics-dolphin-2019.1.0 will hang forever at 100% every single time. installing with -v5 it gets stuck at test 3/38, demo_cah-hilliard_mpi perhaps you could disable the check phase, or that particular test? v/r Tyler Parks