Merge branch 'devel' into 'devel'

update devel

See merge request !12
6 jobs for devel in 97 minutes and 17 seconds (queued for 5 seconds)
latest
Name Stage Failure
failed
devel-20.04-test Test
$ exit $status
Running after_script
Running after script...
$ mv $DEVEL_HPP_DIR $CI_PROJECT_DIR
Uploading artifacts for failed job
Uploading artifacts...
workspace: found 43550 matching files and directories

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