Merge branch 'cicd' into 'devel'

Fixes cicd

See merge request !10
6 jobs for devel in 7 minutes and 38 seconds
Status Name Job ID Coverage
  Build
passed build_cuda #1303807

00:02:55

 
  Test
failed make_doc #1303832

00:01:15

passed run_tests #1303808

00:03:27

failed make_doc #1303831

00:00:41

failed make_doc #1303809

00:00:42

 
  Deploy
skipped pages #1303810
 
Name Stage Failure
failed
make_doc Test
make[3]: *** [CMakeFiles/doc] Error 2
CMakeFiles/Makefile2:67: recipe for target 'CMakeFiles/doc.dir/all' failed
make[2]: *** [CMakeFiles/doc.dir/all] Error 2
CMakeFiles/Makefile2:74: recipe for target 'CMakeFiles/doc.dir/rule' failed
make[1]: *** [CMakeFiles/doc.dir/rule] Error 2
Makefile:175: recipe for target 'doc' failed
make: *** [doc] Error 2
Cleaning up file based variables
ERROR: Job failed: exit code 1