[trunk-sim] sql: minor cleanup around portal pausability#679
Merged
trunk-io[bot] merged 1 commit intomaster-trunkfrom Dec 1, 2025
Merged
[trunk-sim] sql: minor cleanup around portal pausability#679trunk-io[bot] merged 1 commit intomaster-trunkfrom
trunk-io[bot] merged 1 commit intomaster-trunkfrom