Skip to content

Use codeQL.runningQueries.numberOfThreads to run interpretation#771

Merged
aeisenberg merged 1 commit intogithub:mainfrom
aeisenberg:aeisenberg/use-threads
Mar 2, 2021
Merged

Use codeQL.runningQueries.numberOfThreads to run interpretation#771
aeisenberg merged 1 commit intogithub:mainfrom
aeisenberg:aeisenberg/use-threads

Commits

Commits on Mar 2, 2021