Skip to content
CodeQL

Add API for asking whether the pool is empty #1124

Sign in to view logs

Add API for asking whether the pool is empty

Add API for asking whether the pool is empty #1124

Triggered via pull request March 15, 2023 01:12
@aleixpolaleixpol
synchronize #466
work/apol/empty_pools_hurt
Status Success
Total duration 9m 28s
Artifacts –
codeql-analysis.yml
on: pull_request
Analyze
6m 53s

Annotations

2 errors and 1 warning
Analyze
This version of the CodeQL Action was deprecated on January 18th, 2023, and is no longer updated or supported. For better performance, improved security, and new features, upgrade to v2. For more information, see https://github.blog/changelog/2023-01-18-code-scanning-codeql-action-v1-is-now-deprecated/
Analyze
This version of the CodeQL Action was deprecated on January 18th, 2023, and is no longer updated or supported. For better performance, improved security, and new features, upgrade to v2. For more information, see https://github.blog/changelog/2023-01-18-code-scanning-codeql-action-v1-is-now-deprecated/
Analyze
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/checkout@v2, github/codeql-action/init@v1, github/codeql-action/analyze@v1. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.