From 68ab2cc949d9ae7c1ec0692e97a5936fcdd32647 Mon Sep 17 00:00:00 2001 From: rschoene <rene.schoene@tu-dresden.de> Date: Fri, 9 Sep 2022 17:26:52 +0200 Subject: [PATCH] publish and build pages in dev and main --- .gitlab-ci.yml | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 1d2e7b4..95c139d 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -44,8 +44,8 @@ publish_dev: script: - "./gradlew setDevVersionForCI" - "./gradlew publish" - except: - - main + only: + - dev publish_main: image: openjdk:11 @@ -67,6 +67,9 @@ ragdoc_build: - JAVA_FILES=$(find dumpAst.base/src/ -name '*.java') - echo $JAVA_FILES | wc -l - /ragdoc-builder/start-builder.sh -excludeGenerated -d data/ $JAVA_FILES + only: + - dev + - main artifacts: paths: - "data/" @@ -104,4 +107,5 @@ pages: paths: - public/ only: + - dev - main -- GitLab