[bot] Update dist directory

This commit is contained in:
bigdaz
2024-08-08 19:36:04 +00:00
committed by github-actions[bot]
parent e482045599
commit e7551dc2a9
8 changed files with 8 additions and 8 deletions

View File

@@ -156703,7 +156703,7 @@ async function generateJobSummary(buildResults, cachingReport, config) {
async function addPRComment(jobSummary) {
const context = github.context;
if (context.payload.pull_request == null) {
core.info('No pull_request trigger: not adding PR comment');
core.info('No pull_request trigger detected: not adding PR comment');
return;
}
const pull_request_number = context.payload.pull_request.number;

File diff suppressed because one or more lines are too long

View File

@@ -109986,7 +109986,7 @@ async function generateJobSummary(buildResults, cachingReport, config) {
async function addPRComment(jobSummary) {
const context = github.context;
if (context.payload.pull_request == null) {
core.info('No pull_request trigger: not adding PR comment');
core.info('No pull_request trigger detected: not adding PR comment');
return;
}
const pull_request_number = context.payload.pull_request.number;

File diff suppressed because one or more lines are too long