Skip to content

Fix type of shard_id#4384

Merged
flobernd merged 1 commit intomainfrom
fix-shard-id-typing
May 21, 2025
Merged

Fix type of `shard_id`#4384
flobernd merged 1 commit intomainfrom
fix-shard-id-typing

Commits

Commits on May 20, 2025