From 12699f7cc058e4da52264d82cf13372866763c55 Mon Sep 17 00:00:00 2001 From: Tglman Date: Wed, 25 Oct 2023 14:29:31 +0100 Subject: [PATCH] chore: update ci to the last OrientDB version --- ci/initialize-ci.sh | 2 +- ci/orientdb-server-config-3.2.xml | 3 --- 2 files changed, 1 insertion(+), 4 deletions(-) diff --git a/ci/initialize-ci.sh b/ci/initialize-ci.sh index 1d8e4f8..5770e1f 100755 --- a/ci/initialize-ci.sh +++ b/ci/initialize-ci.sh @@ -3,7 +3,7 @@ PARENT_DIR=$(dirname $(cd "$(dirname "$0")"; pwd)) CI_DIR="$PARENT_DIR/ci/environment" -ODB_VERSION=${1:-"3.2.21"} +ODB_VERSION=${1:-"3.2.24"} ODB_DIR="${CI_DIR}/orientdb-community-${ODB_VERSION}" ODB_LAUNCHER="${ODB_DIR}/bin/server.sh" diff --git a/ci/orientdb-server-config-3.2.xml b/ci/orientdb-server-config-3.2.xml index 186d29b..b9bacc5 100644 --- a/ci/orientdb-server-config-3.2.xml +++ b/ci/orientdb-server-config-3.2.xml @@ -136,11 +136,8 @@ - - -