From 70f2772dc59a3d57b2aba45be231b633502d6174 Mon Sep 17 00:00:00 2001
From: Martin Weise <martin.weise@tuwien.ac.at>
Date: Wed, 6 Nov 2024 09:13:13 +0100
Subject: [PATCH] Hotfix release script

---
 .gitlab-ci.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0a9c58518d..024bab42ef 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -360,9 +360,10 @@ docs-registry:
     refs:
       - /^release-.*/
   before_script:
+    - "pip install pipenv"
+    - "pipenv install --dev --system --deploy"
     - "apt-get update && apt-get install -y sed"
   script:
-    - pip install -r ./requirements.txt
     - python3 .docs/docker/release.py
 
 release-images:
-- 
GitLab