From 9b939948fc178db51ee0f9e173615e17ceef9ee2 Mon Sep 17 00:00:00 2001
From: Frederik Hennig <frederik.hennig@fau.de>
Date: Wed, 20 Mar 2024 08:48:20 +0100
Subject: [PATCH] publish dev documentation
---
.gitlab-ci.yml | 12 +++++++-----
1 file changed, 7 insertions(+), 5 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 07f94d004..c7b952cc0 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,6 +1,7 @@
stages:
- pretest
- test
+ - docs
- deploy
@@ -304,8 +305,9 @@ mypy-typecheck:
build-documentation:
- stage: test
image: i10git.cs.fau.de:5005/pycodegen/pycodegen/documentation
+ stage: docs
+ needs: []
before_script:
- pip install -e .[doc]
script:
@@ -321,14 +323,14 @@ build-documentation:
pages:
image: i10git.cs.fau.de:5005/pycodegen/pycodegen/full
stage: deploy
+ needs: ["build-documentation"]
script:
- - ls -l
- - mv coverage_report html_doc
- - mv docs/build/html public # folder has to be named "public" for gitlab to publish it
+ # - mv coverage_report html_doc
+ - mv docs/build/html public/dev-nbackend # folder has to be named "public" for gitlab to publish it
artifacts:
paths:
- public
tags:
- docker
only:
- - master@pycodegen/pystencils
+ - backend_rework@pycodegen/pystencils
--
GitLab