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