From cd47dbda16e4795ecb5931e19ac52f5940d53fed Mon Sep 17 00:00:00 2001
From: Pierre-Marie de Rodat <derodat@adacore.com>
Date: Thu, 4 Dec 2025 16:42:40 +0100
Subject: [PATCH] Use the same version of e3-testsuite as the Anod sandbox

---
 .gitlab-ci.yml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 289fa9d7a..0b24e9ac9 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -36,6 +36,12 @@ langkit_build_and_test:
     - generic_anod_ci
     - . /tmp/ci_env.sh
     - anod test langkit $ACI_TRACK_QUALIFIER --smart-rebuild
+
+    # We must parse testsuite results with the same version of e3-testsuite
+    # that produced them. So we install e3-testsuite using the same sandbox as
+    # testing.
+    - anod install e3-for-testing
+    - eval $(anod printenv e3-for-testing)
     - testsuite_reports
   artifacts:
     reports:
@@ -65,6 +71,12 @@ libadalang_build_and_test:
     - generic_anod_ci --add-dep eng/libadalang/libadalang
     - . /tmp/ci_env.sh
     - anod test libadalang $ACI_TRACK_QUALIFIER --smart-rebuild
+
+    # We must parse testsuite results with the same version of e3-testsuite
+    # that produced them. So we install e3-testsuite using the same sandbox as
+    # testing.
+    - anod install e3-for-testing
+    - eval $(anod printenv e3-for-testing)
     - testsuite_reports
   artifacts:
     reports: