Use codeQL.runningQueries.numberOfThreads to run interpretation#771
Merged
aeisenberg merged 1 commit intogithub:mainfrom Mar 2, 2021
Merged
Use codeQL.runningQueries.numberOfThreads to run interpretation#771aeisenberg merged 1 commit intogithub:mainfrom
aeisenberg merged 1 commit intogithub:mainfrom