doc/credits.md: (Cavagna, 2020)

3 jobs for doc/new-publis in 2 minutes and 52 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Test Tools
passed #761477
test_tools

00:00:09

 
  Tgz Release
passed #761478
cidocker
build_doc

00:02:42

 
  Deploy Prod
manual #761479
allowed to fail manual
deploy_doc