chore: generate

This commit is contained in:
Fernandez Ludovic 2025-02-13 22:21:50 +01:00
parent 646655a0f0
commit d51ca1ec8b
2 changed files with 8 additions and 0 deletions

4
dist/post_run/index.js generated vendored
View file

@ -94053,6 +94053,10 @@ async function runLint(binPath, patchPath) {
const res = await execShellCommand(`${binPath} cache status`);
printOutput(res);
}
if (core.getBooleanInput(`verify`, { required: true })) {
const res = await execShellCommand(`${binPath} verify`);
printOutput(res);
}
let userArgs = core.getInput(`args`);
const addedArgs = [];
const userArgsList = userArgs

4
dist/run/index.js generated vendored
View file

@ -94053,6 +94053,10 @@ async function runLint(binPath, patchPath) {
const res = await execShellCommand(`${binPath} cache status`);
printOutput(res);
}
if (core.getBooleanInput(`verify`, { required: true })) {
const res = await execShellCommand(`${binPath} verify`);
printOutput(res);
}
let userArgs = core.getInput(`args`);
const addedArgs = [];
const userArgsList = userArgs