koord-scheduler: fix duplicate allocate GPU after leader selection changed#1289

koordinator-bot[bot] merged 1 commit intokoordinator-sh:mainkoordinator-sh/koordinator:mainfrom

eahydra:fix_duplicate_allocate_gpueahydra/koordinator:fix_duplicate_allocate_gpuCopy head branch name to clipboard