JudgeVersionPin
A single ``judge_versions`` entry.
Identify the judge by name or judge_id; optionally pin a
tag, a version string, or a major_version/minor_version
pair. All keys are optional so callers can mix identification and
pinning styles, but every entry must carry a name or judge_id
(enforced at runtime by normalize_judge_versions).
Attributes
PropType
name?str
Type
strjudge_id?str
Type
strtag?str
Type
strversion?str
Type
strmajor_version?int
Type
intminor_version?int
Type
int