vine: scale task priority multiplicatively#4263

JinZhou5042 wants to merge 1 commit intocooperative-computing-lab:mastercooperative-computing-lab/cctools:masterfrom

JinZhou5042:push_task_to_ready_tasksJinZhou5042/cctools:push_task_to_ready_tasksCopy head branch name to clipboard