Merge branch 'doc/credits' into 'dev'

Doc/credits

Closes #4131

See merge request !697
7 jobs for dev in 1 minute and 9 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Test Tools
passed #661680
test_tools

00:00:09

 
  Test Quality
passed #661681
web
code_quality

00:00:10

 
  Test Unit
passed #661682
web
test_browser_unit

00:00:49

failed #661683
web
test_server_unit

00:00:11

 
  Test Functional
skipped #661684
docker x86_64
ff32-server-functional
skipped #661685
docker x86_64
ff45-server-functional
 
  Benchmark
skipped #661686
cidocker allowed to fail manual
profiling_algo
 
Name Stage Failure
failed
test_server_unit Test Unit

Makefile:7: recipe for target 'download_web2py' failed
make: *** [download_web2py] Error 8
make: Leaving directory '/home/gitlab-runner/builds/b8d876c1/0/vidjil/vidjil/server'
Uploading artifacts...
Runtime platform arch=386 os=linux pid=425 revision=58272c27 version=12.7.0
WARNING: server/web2py/test-reports/TEST*xml: no matching files
ERROR: No files to upload
ERROR: Job failed: exit status 1