Add target_workers to TaskUnitConfig (#305)

This commit is contained in:
Choongwoo Han 2020-11-13 03:22:53 +09:00 committed by GitHub
parent 30ba30d609
commit a0b5d10c81
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 0 deletions

View File

@ -267,6 +267,9 @@ def build_task_config(
if TaskFeature.target_options_merge in definition.features:
config.target_options_merge = task_config.task.target_options_merge or False
if TaskFeature.target_workers in definition.features:
config.target_workers = task_config.task.target_workers
if TaskFeature.rename_output in definition.features:
config.rename_output = task_config.task.rename_output or False

View File

@ -297,6 +297,7 @@ class TaskUnitConfig(BaseModel):
target_options: Optional[List[str]]
target_timeout: Optional[int]
target_options_merge: Optional[bool]
target_workers: Optional[int]
check_asan_log: Optional[bool]
check_debugger: Optional[bool]
check_retry_count: Optional[int]