From 0eb3cf3e019293e4a8ff0b6e6c9cecffacd56958 Mon Sep 17 00:00:00 2001
From: Rainer Kartmann <rainer.kartmann@kit.edu>
Date: Thu, 22 Dec 2022 09:52:34 +0100
Subject: [PATCH] Rename workspace file

---
 .gitlab-ci.yml                                       | 2 +-
 .gitlab/ci/{workspace.json => armarx-workspace.json} | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename .gitlab/ci/{workspace.json => armarx-workspace.json} (100%)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 11971f914..833657117 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -30,7 +30,7 @@ build-and-test:
     - _axii_auto_env_refresh
 
     # Use workspace configuration from project.
-    - cp "$CI_PROJECT_DIR/.gitlab/ci/workspace.json" "$ARMARX_WORKSPACE/armarx-workspace.json"
+    - cp "$CI_PROJECT_DIR/.gitlab/ci/armarx-workspace.json" "$ARMARX_WORKSPACE/armarx-workspace.json"
     - cat "$ARMARX_WORKSPACE/armarx-workspace.json"
 
     - axii workspace env
diff --git a/.gitlab/ci/workspace.json b/.gitlab/ci/armarx-workspace.json
similarity index 100%
rename from .gitlab/ci/workspace.json
rename to .gitlab/ci/armarx-workspace.json
-- 
GitLab