[bot] Update dist directory

This commit is contained in:
bot-githubaction
2025-05-05 15:00:26 +00:00
parent 2e3238a664
commit 95dcf96b0d
8 changed files with 11 additions and 18 deletions

View File

@@ -120670,7 +120670,6 @@ exports.generateJobSummary = generateJobSummary;
exports.renderSummaryTable = renderSummaryTable;
const core = __importStar(__nccwpck_require__(37484));
const github = __importStar(__nccwpck_require__(93228));
const request_error_1 = __nccwpck_require__(93708);
const configuration_1 = __nccwpck_require__(66081);
const deprecation_collector_1 = __nccwpck_require__(18391);
async function generateJobSummary(buildResults, cachingReport, config) {
@@ -120723,7 +120722,7 @@ ${jobSummary}`;
});
}
catch (error) {
if (error instanceof request_error_1.RequestError) {
if (error instanceof Error && error.name === 'HttpError') {
core.warning(buildWarningMessage(error));
}
else {