From 2e251d6f6cf895fc3bde947d32f038692ff097fd Mon Sep 17 00:00:00 2001
From: Jan Habscheid <jan.habscheid@rwth-aachen.de>
Date: Fri, 1 Nov 2024 18:00:19 +0100
Subject: [PATCH] Fix pipeline for now without docker

---
 .gitlab-ci.yml | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 5655118..5841591 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -7,8 +7,6 @@ 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:
@@ -19,8 +17,6 @@ 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