CI job artifacts name improvements
check_doc job: add a dedicated name for artifacts for all: add job ID in artifact name to retrieve associated job easily
Edited by Vincent Monfort
check_doc job: add a dedicated name for artifacts for all: add job ID in artifact name to retrieve associated job easily