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)
Status Name Job ID Coverage
  Build
failed devel-18.04-build #129469

00:16:40

failed devel-20.04-build #129470
allowed to fail

00:16:54

 
  Test
skipped devel-18.04-test #129471
allowed to fail
skipped devel-20.04-test #129472
allowed to fail
 
  Deploy
skipped devel-18.04-doc #129473
allowed to fail
skipped devel-20.04-doc #129474
allowed to fail
 
Name Stage Failure
failed
devel-20.04-build Build
make: *** [Makefile:428: hpp-constraints.install] Error 2
Running after_script
Running after script...
$ mv $DEVEL_HPP_DIR $CI_PROJECT_DIR
Uploading artifacts for failed job
Uploading artifacts...
workspace: found 14500 matching files and directories

Uploading artifacts as "archive" to coordinator... ok
id=129470 responseStatus=201 Created token=6HpAbZ8V
Cleaning up file based variables
ERROR: Job failed: exit code 1
failed
devel-18.04-build Build
make: *** [hpp-constraints.install] Error 2
Running after_script
Running after script...
$ mv $DEVEL_HPP_DIR $CI_PROJECT_DIR
Uploading artifacts for failed job
Uploading artifacts...
workspace: found 14174 matching files and directories

Uploading artifacts as "archive" to coordinator... ok
id=129469 responseStatus=201 Created token=yQzqWAky
Cleaning up file based variables
ERROR: Job failed: exit code 1