From f3a9ace3d2086e66ff3c51e22a58eaeb1eebfd93 Mon Sep 17 00:00:00 2001
From: Anton-4 <17049058+Anton-4@users.noreply.github.com>
Date: Wed, 27 Aug 2025 19:39:51 +0200
Subject: [PATCH] realpath examples

---
 ci/all_tests.sh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/ci/all_tests.sh b/ci/all_tests.sh
index 7a3bbc7d..f95a2544 100755
--- a/ci/all_tests.sh
+++ b/ci/all_tests.sh
@@ -4,9 +4,11 @@
 set -exo pipefail
 
 if [ -z "${EXAMPLES_DIR}" ]; then
-  echo "ERROR: The EXAMPLES_DIR environment variable is not set." >&2
+    echo "ERROR: The EXAMPLES_DIR environment variable is not set." >&2
 
-  exit 1
+    exit 1
+else
+    EXAMPLES_DIR=$(realpath "${EXAMPLES_DIR}")/
 fi
 
 if [ -z "${ROC}" ]; then