Skip to content

sharding_constraints only applied to dynamic_args#1

Merged
young-geng merged 1 commit intoyoung-geng:mainfrom Sea-Snell:mainNov 12, 2023
+4-2

Commits

Commits on Nov 12, 2023