Skip to content

Commit

Permalink
Merge pull request #3364 from vkarak/bugfix/topology-prefix-schema
Browse files Browse the repository at this point in the history
[bugfix] Add missing `topology_prefix` option in the configuration schema
  • Loading branch information
vkarak authored Jan 20, 2025
2 parents 8bccc24 + 85bdaf3 commit 73441fa
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions reframe/schemas/config.json
Original file line number Diff line number Diff line change
Expand Up @@ -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"},
Expand Down

0 comments on commit 73441fa

Please sign in to comment.