From 1b144204de2dbdeff5fe45efceeca0e871a3f2f0 Mon Sep 17 00:00:00 2001 From: Karel van Klink <karel.vanklink@geant.org> Date: Tue, 28 Mar 2023 13:42:20 +0200 Subject: [PATCH] Update pipeline names in docs/.gitlab-ci.yml --- docs/.gitlab-ci.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/.gitlab-ci.yml b/docs/.gitlab-ci.yml index 9a51eb8..558f78c 100644 --- a/docs/.gitlab-ci.yml +++ b/docs/.gitlab-ci.yml @@ -1,6 +1,6 @@ --- ##### Sphinx - Generate documentation -build-public-documentation: +build-documentation: stage: build-documentation tags: - docker-executor @@ -22,7 +22,7 @@ build-public-documentation: - docs/build/html ##### Vale - Documentation linter -lint-general-documentation: +lint-documentation: stage: lint-documentation image: name: jdkato/vale:latest -- GitLab