Skip to content

Conversation

@sjvans
Copy link
Contributor

@sjvans sjvans commented Dec 9, 2025

closes #384

@sjvans sjvans requested a review from PDT42 December 9, 2025 22:06
@sjvans sjvans marked this pull request as ready for review December 9, 2025 22:06
@sjvans sjvans merged commit 5ded7b1 into main Dec 10, 2025
13 checks passed
@sjvans sjvans deleted the builtin-pool branch December 10, 2025 13:39
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.

"cds.requires.db.pool.builtin = true" leads to warnings akin to "non-number value provided to metric db.pool.spareResourceCapacity: undefined"

3 participants