robojerk/codeql-action

Merge pull request #169 from github/codeql_download_info

Browse source 
Print that we are downloading codeql and it may take a while
This commit is contained in:
Robert 2020-09-07 14:32:37 +01:00 • committed by GitHub
commit 8c43427531
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
lib/codeql.js generated
View file

@ -129,6 +129,7 @@ async function setupCodeQL(codeqlURL, githubAuth, githubUrl, tempDir, toolsDir,
else {
logger.debug('Downloading CodeQL bundle without token.');
}
logger.info(`Downloading CodeQL tools from ${codeqlURL}. This may take a while.`);
let codeqlPath = await toolcacheDownloadTool(codeqlURL, headers, tempDir, logger);
logger.debug(`CodeQL bundle download to ${codeqlPath} complete.`);
const codeqlExtracted = await toolcache.extractTar(codeqlPath);

2
lib/codeql.js.map
View file

File diff suppressed because one or more lines are too long

1
src/codeql.ts
View file

@ -227,6 +227,7 @@ export async function setupCodeQL(
} else {
logger.debug('Downloading CodeQL bundle without token.');
}
logger.info(`Downloading CodeQL tools from ${codeqlURL}. This may take a while.`);
let codeqlPath = await toolcacheDownloadTool(codeqlURL, headers, tempDir, logger);
logger.debug(`CodeQL bundle download to ${codeqlPath} complete.`);