Merge branch 'main' into remove-old-loc

This commit is contained in:
Andrew Eisenberg 2021-09-01 09:49:28 -07:00 committed by GitHub
commit 5fc16ebcf6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View file

@ -123,7 +123,7 @@ export function getAddSnippetsFlag(
/**
* Get the codeql `--threads` value specified for the `threads` input.
* If not value was specified, all available threads will be used.
* If no value was specified, all available threads will be used.
*
* The value will be capped to the number of available CPUs.
*