Merge branch 'main' into merge-help

This commit is contained in:
Sam Partington 2020-07-02 13:42:20 +01:00 committed by GitHub
commit 77e9a735f6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 6 additions and 1 deletions

2
lib/util.js generated
View file

@ -227,6 +227,7 @@ async function createStatusReport(actionName, status, cause, exception) {
}
const workflowName = process.env['GITHUB_WORKFLOW'] || '';
const jobName = process.env['GITHUB_JOB'] || '';
const analysis_key = await getAnalysisKey();
const languages = (await getLanguages()).sort().join(',');
const startedAt = process.env[sharedEnv.CODEQL_ACTION_STARTED_AT] || new Date().toISOString();
core.exportVariable(sharedEnv.CODEQL_ACTION_STARTED_AT, startedAt);
@ -234,6 +235,7 @@ async function createStatusReport(actionName, status, cause, exception) {
workflow_run_id: workflowRunID,
workflow_name: workflowName,
job_name: jobName,
analysis_key: analysis_key,
languages: languages,
commit_oid: commitOid,
ref: ref,

File diff suppressed because one or more lines are too long

View file

@ -220,6 +220,7 @@ interface StatusReport {
"workflow_run_id": number;
"workflow_name": string;
"job_name": string;
"analysis_key": string;
"matrix_vars"?: string;
"languages": string;
"commit_oid": string;
@ -257,6 +258,7 @@ async function createStatusReport(
}
const workflowName = process.env['GITHUB_WORKFLOW'] || '';
const jobName = process.env['GITHUB_JOB'] || '';
const analysis_key = await getAnalysisKey();
const languages = (await getLanguages()).sort().join(',');
const startedAt = process.env[sharedEnv.CODEQL_ACTION_STARTED_AT] || new Date().toISOString();
core.exportVariable(sharedEnv.CODEQL_ACTION_STARTED_AT, startedAt);
@ -265,6 +267,7 @@ async function createStatusReport(
workflow_run_id: workflowRunID,
workflow_name: workflowName,
job_name: jobName,
analysis_key: analysis_key,
languages: languages,
commit_oid: commitOid,
ref: ref,