From 7f751009d515de01d402637c1ee390b1d409823b Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Sun, 7 Feb 2021 18:06:20 +0100
Subject: [PATCH] only run ragdoc when creating pages
---
.gitlab-ci.yml | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f6db6b7..37a1c87 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -45,6 +45,8 @@ ragdoc_build:
script:
- JAVA_FILES=$(find src/ -name '*.java')
- /ragdoc-builder/start-builder.sh -excludeGenerated -d data/ $JAVA_FILES
+ only:
+ - master
artifacts:
paths:
- "data/"
@@ -62,6 +64,8 @@ ragdoc_view:
- OUTPUT_DIR=$(pwd -P)/pages/docs/ragdoc
- cd /ragdoc-view/src/ && rm -rf data && ln -s $DATA_DIR
- /ragdoc-view/build-view.sh --output-path=$OUTPUT_DIR
+ only:
+ - master
artifacts:
paths:
- "pages/docs/ragdoc"
--
GitLab