From 85bdaf3a2f7bf2ae9450292858c74a99407180b0 Mon Sep 17 00:00:00 2001 From: Vasileios Karakasis Date: Sat, 18 Jan 2025 10:19:33 +0100 Subject: [PATCH] Add missing `topology_prefix` option in the configuration schema --- reframe/schemas/config.json | 1 + 1 file changed, 1 insertion(+) diff --git a/reframe/schemas/config.json b/reframe/schemas/config.json index 2f5ce8c90..92a5c68d5 100644 --- a/reframe/schemas/config.json +++ b/reframe/schemas/config.json @@ -536,6 +536,7 @@ "target_systems": {"$ref": "#/defs/system_ref"}, "table_format": {"enum": ["csv", "plain", "pretty"]}, "timestamp_dirs": {"type": "string"}, + "topology_prefix": {"type": "string"}, "trap_job_errors": {"type": "boolean"}, "unload_modules": {"$ref": "#/defs/modules_list"}, "use_login_shell": {"type": "boolean"},