Merge branch 'feature-g/3656-gitlab-deploy-germlines' into 'dev'

Add germline build and deploy on prod server

Closes #3656

See merge request !373
15 jobs for dev in 62 minutes and 51 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Test Tools
passed #232937
test_tools

00:00:08

 
  Test Quality
passed #232938
web
code_quality

00:00:10

 
  Test Unit
passed #232939
test_algo_unit

00:03:26

passed #232940
web
test_browser_unit

00:00:11

passed #232941
web
test_server_unit

00:00:24

 
  Test Germlines
passed #232942
test_germlines

00:07:17

 
  Test Functional
passed #232943
test_algo_should

00:10:41

passed #232944
web
test_browser-functional

00:03:19

passed #232945
docker x86_64
test_server_functional

00:06:01

 
  Test Shouldvdj
passed #232946
test_algo_shouldvdj

00:25:55

 
  Test Functional External
passed #232947
web
test_browser-functional-external

00:02:04

 
  Coverage
passed #232948
algo_coverage

00:00:08

89.1%
 
  Valgrind Unit
passed #232949
valgrind
algo_valgrind_unit

00:08:59

 
  Valgrind Functional
manual #232950
valgrind allowed to fail manual
algo_valgrind_functional
 
  Multiple Tests
manual #232951
several-compilers allowed to fail manual
test_various_compilers_manual