Skip to content

fix: NameError in ResourcePoolScaling.manage() fallback path#155

Merged
jkupferer merged 1 commit into
mainfrom
fix/resourcepoolscaling-name-error
May 9, 2026
Merged

fix: NameError in ResourcePoolScaling.manage() fallback path#155
jkupferer merged 1 commit into
mainfrom
fix/resourcepoolscaling-name-error

Commits

Commits on May 9, 2026