Merge branch 'devel' into 'devel'

16.04 → 20.04 + fix CI

See merge request !9
6 jobs for devel in 16 minutes and 54 seconds (queued for 5 seconds)