merge dev to main (v3.7.2)#2684

ymc9 wants to merge 5 commits into

mainzenstackhq/zenstack:mainfrom

devzenstackhq/zenstack:devCopy head branch name to clipboard