From 2e32b12f6486560134556f6f4baefb4454921e8f Mon Sep 17 00:00:00 2001
From: Abdessamad Derraz <3028866+Abdess@users.noreply.github.com>
Date: Fri, 6 Nov 2026 17:25:26 +0100
Subject: [PATCH] fix: import the test isolation in test_proven_name

---
 tests/test_proven_name.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tests/test_proven_name.py b/tests/test_proven_name.py
index 0738d3896..812b4bf8d 100644
--- a/tests/test_proven_name.py
+++ b/tests/test_proven_name.py
@@ -10,6 +10,8 @@ devkit ROMs by the name step.
 
 from __future__ import annotations
 
+import tests  # noqa: F401  offline, scratch under tmp/, the suite's own cache
+
 import hashlib
 import json
 import os