Rename checkoutPath to either workspacePath or sourceRoot
This commit is contained in:
parent
1137e7db3e
commit
f94f1ed663
18 changed files with 100 additions and 86 deletions
|
|
@ -45,7 +45,7 @@ export async function initConfig(
|
|||
tempDir: string,
|
||||
toolCacheDir: string,
|
||||
codeQL: CodeQL,
|
||||
checkoutPath: string,
|
||||
workspacePath: string,
|
||||
gitHubVersion: util.GitHubVersion,
|
||||
apiDetails: GitHubApiCombinedDetails,
|
||||
logger: Logger
|
||||
|
|
@ -61,7 +61,7 @@ export async function initConfig(
|
|||
tempDir,
|
||||
toolCacheDir,
|
||||
codeQL,
|
||||
checkoutPath,
|
||||
workspacePath,
|
||||
gitHubVersion,
|
||||
apiDetails,
|
||||
logger
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue