diff --git a/.gitlab/ci/armarx-workspace.json b/.gitlab/ci/armarx-workspace.json index a3420aed4107e4b23ac3b7327ca4aefaa3b52238..8e2e4e92615ecd7c1bc40812bc270dbfd6203416 100644 --- a/.gitlab/ci/armarx-workspace.json +++ b/.gitlab/ci/armarx-workspace.json @@ -6,7 +6,7 @@ "# mmm/tools": {}, "apt/nlopt": {}, - "semantic-object-relations": {}, + "# semantic-object-relations": {}, "# mmm/core": {}, "deps/eigen3": {},