From 301fb3aedafdf9219944642bf6078fe2a5a1358b Mon Sep 17 00:00:00 2001
From: Rainer Kartmann <rainer.kartmann@kit.edu>
Date: Thu, 22 Dec 2022 17:21:06 +0100
Subject: [PATCH] Remove armarx from workspace
---
.gitlab/ci/armarx-workspace.json | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/.gitlab/ci/armarx-workspace.json b/.gitlab/ci/armarx-workspace.json
index c44f86113..826dd7747 100644
--- a/.gitlab/ci/armarx-workspace.json
+++ b/.gitlab/ci/armarx-workspace.json
@@ -1,8 +1,7 @@
{
"modules": {
"tools/ccache/default": {},
- "simox": {},
- "armarx": {}
+ "simox": {}
},
"global": {
"prepare": {
--
GitLab