From 528fb0721ea93f5188fda266a728fef88fdfbf3d Mon Sep 17 00:00:00 2001
From: Jan Habscheid <jan.habscheid@rwth-aachen.de>
Date: Thu, 31 Oct 2024 13:59:53 +0100
Subject: [PATCH] Update .gitlab-ci.yml file
---
.gitlab-ci.yml | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 5841591..b3eeedd 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -7,6 +7,8 @@ stages: # Define stages in the pipeline
# Job to build documentation
build-docs:
stage: build
+ tags:
+ - shell
script:
- sphinx-build docs/source docs/build # Build the documentation
artifacts:
@@ -17,6 +19,8 @@ build-docs:
# Job to deploy documentation to GitLab Pages
pages:
stage: deploy
+ tags:
+ - shell
script:
- mv docs/build public # Move the build output to the "public" directory
artifacts:
--
GitLab