Merge remote-tracking branch 'dev/NIFTy_5' into NIFTy_5

10 jobs for NIFTy_5 in 13 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build Docker
failed #725330
build_docker_from_cache

00:00:13

 
  Test
skipped #725332
test_mpi
skipped #725331
test_serial
 
  Release
skipped #725333
pages
 
  Demo Runs
skipped #725338
run_bernoulli
skipped #725339
run_curve_fitting
skipped #725335
run_getting_started_1
skipped #725336
run_getting_started_2
skipped #725337
run_getting_started_3
skipped #725334
run_ipynb
 
Name Stage Failure
failed
build_docker_from_cache Build Docker
No job log