Skip to content

Conversation

@pls148
Copy link
Contributor

@pls148 pls148 commented Nov 19, 2025

Closes #<ISSUE_NUMBER>

This PR:

This PR does not:

Key places to review:

@pls148 pls148 marked this pull request as draft November 19, 2025 15:27
@pls148 pls148 force-pushed the ps/database-pool-split branch from 4bce61a to 3cb222c Compare November 19, 2025 15:34
@pls148 pls148 closed this Nov 19, 2025
@pls148 pls148 reopened this Nov 19, 2025
@pls148 pls148 force-pushed the ps/database-pool-split branch from 3cb222c to 109c8c6 Compare November 19, 2025 16:14
@pls148 pls148 marked this pull request as ready for review November 19, 2025 21:38
@pls148 pls148 force-pushed the ps/database-pool-split branch from 758aef7 to 7469ca0 Compare November 19, 2025 21:40
@lukaszrzasik
Copy link
Contributor

LGTM, I triggered a rerun for the failed tests. Let's see if they pass.

@pls148 pls148 force-pushed the ps/database-pool-split branch from 6dd9845 to cfa665e Compare December 1, 2025 22:13
@pls148 pls148 force-pushed the ps/database-pool-split branch from e077c72 to 553fa85 Compare December 3, 2025 05:52
@pls148 pls148 merged commit 70ed064 into main Dec 3, 2025
114 of 116 checks passed
@pls148 pls148 deleted the ps/database-pool-split branch December 3, 2025 07:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants