Merge branch 'devel' into 'devel'

16.04 → 20.04 + fix CI

See merge request !9
6 jobs for devel in 178 minutes and 8 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Build
passed devel-18.04-build #121277

00:48:13

passed devel-20.04-build #121278

02:35:58

 
  Test
passed devel-18.04-test #121279

00:14:59

passed devel-20.04-test #121280

00:04:50

 
  Deploy
passed devel-18.04-doc #121281

00:06:04

passed devel-20.04-doc #121282

00:07:10