Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add API for asking whether the pool is empty #466

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
+33 −0

Add API for asking whether the pool is empty

c8de370
Select commit
Failed to load commit list.
Open

Add API for asking whether the pool is empty #466

Add API for asking whether the pool is empty
c8de370
Select commit
Failed to load commit list.
GitHub Code Scanning / CodeQL succeeded Mar 15, 2023 in 4s

No new or fixed alerts

No new or fixed alerts

View all branch alerts.

Analyses

Code scanning compared refs/heads/master with refs/pull/466/merge (commit 6dfc39d) and refs/heads/work/apol/empty_pools_hurt (commit c8de370).

Category Base branch Pull request
.github/workflows/codeql-analysis.yml:analyze ✔️  Found for bfa8fa6 ✔️  Found for 6dfc39d