Simplify query now we've deleted withInheritedProgress#3478

robertbrignull merged 1 commit intomaingithub/vscode-codeql:mainfrom

robertbrignull/token-querygithub/vscode-codeql:robertbrignull/token-queryCopy head branch name to clipboard