From 9ea4ccbebb1cd29bb958bc63ee4a2fc439c9b035 Mon Sep 17 00:00:00 2001 From: Jan Habscheid <jan.habscheid@rwth-aachen.de> Date: Wed, 30 Oct 2024 16:57:49 +0100 Subject: [PATCH] Update .gitlab-ci.yml file --- .gitlab-ci.yml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 8d49b81..5655118 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -7,7 +7,8 @@ stages: # Define stages in the pipeline # Job to build documentation build-docs: stage: build - tags: docker + tags: + - docker script: - sphinx-build docs/source docs/build # Build the documentation artifacts: @@ -18,7 +19,8 @@ build-docs: # Job to deploy documentation to GitLab Pages pages: stage: deploy - tags: docker + tags: + - docker script: - mv docs/build public # Move the build output to the "public" directory artifacts: -- GitLab