chore: Update dist

This commit is contained in:
GitHub Actions
2025-08-04 20:30:15 +00:00
committed by kellertk
parent e19fa45bbe
commit 00aa8475ff
2 changed files with 4 additions and 2 deletions

3
dist/cleanup/index.js generated vendored
View File

@@ -48054,7 +48054,8 @@ function translateEnvVariables() {
'USE_EXISTING_CREDENTIALS',
];
// Treat HTTPS_PROXY as HTTP_PROXY. Precedence is HTTPS_PROXY > HTTP_PROXY
process.env.HTTP_PROXY = process.env.HTTPS_PROXY || process.env.HTTP_PROXY || undefined;
if (process.env.HTTPS_PROXY)
process.env.HTTP_PROXY = process.env.HTTPS_PROXY;
for (const envVar of envVars) {
if (process.env[envVar]) {
const inputKey = `INPUT_${envVar.replace(/_/g, '-')}`;

3
dist/index.js generated vendored
View File

@@ -304,7 +304,8 @@ function translateEnvVariables() {
'USE_EXISTING_CREDENTIALS',
];
// Treat HTTPS_PROXY as HTTP_PROXY. Precedence is HTTPS_PROXY > HTTP_PROXY
process.env.HTTP_PROXY = process.env.HTTPS_PROXY || process.env.HTTP_PROXY || undefined;
if (process.env.HTTPS_PROXY)
process.env.HTTP_PROXY = process.env.HTTPS_PROXY;
for (const envVar of envVars) {
if (process.env[envVar]) {
const inputKey = `INPUT_${envVar.replace(/_/g, '-')}`;