From f971e1c340ba07442e3697f812e87ea8ea251993 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 26 Sep 2023 19:21:15 +0200
Subject: [PATCH] Remove some unnecessary copying of artifacts
---
.gitlab-ci.yml | 11 +++--------
1 file changed, 3 insertions(+), 8 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index ae80b76..500b7f8 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -20,13 +20,8 @@ build:
- cd ..
- cp -r org.rodinp.handbook.feature/build/eclipse/* org.rodinp.handbook/
- mvn -f org.rodinp.handbook.parent/pom.xml install
- - mkdir -p upload/current
- - cp -r org.rodinp.handbook.feature/build/files upload/current/
- - cp -r org.rodinp.handbook.feature/build/html upload/current/
- - cp -r org.rodinp.handbook.feature/build/pdf upload/current/
- - mkdir -p upload/updatesite
- - cp -r org.rodinp.handbook.repository/target/repository/* upload/updatesite/
- - cp org.rodinp.handbook.releng/index.html upload/updatesite/
+ - cp org.rodinp.handbook.releng/index.html org.rodinp.handbook.repository/target/repository
artifacts:
paths:
- - upload
+ - org.rodinp.handbook.feature/build
+ - org.rodinp.handbook.repository/target/repository
--
GitLab