MNT: give a unique name to documentation build workflows#306

glesur merged 1 commit intoidefix-code:developidefix-code/idefix:developfrom

neutrinoceros:mnt/doc_workflow_nameneutrinoceros/idefix:mnt/doc_workflow_nameCopy head branch name to clipboard