Mentions légales du service

Skip to content

doc/.gitlab-ci.yml: deploy_doc

Mathieu Giraud requested to merge doc/prod into dev

Au-dessus de !583 (merged).

Encore #4148 (closed) / #3588: https://gitlab.inria.fr/vidjil/vidjil/-/jobs/525803, sur un pipeline hors MR, a loupé car build_doc n'était pas appelé. On essaie ici de mettre only:[merge_requests] aussi sur deploy_doc.

Merge request reports