From d51ca1ec8ba28e9046b6af5f5191d47d9893c8ee Mon Sep 17 00:00:00 2001
From: Fernandez Ludovic <ldez@users.noreply.github.com>
Date: Thu, 13 Feb 2025 22:21:50 +0100
Subject: [PATCH] chore: generate

---
 dist/post_run/index.js | 4 ++++
 dist/run/index.js      | 4 ++++
 2 files changed, 8 insertions(+)

diff --git a/dist/post_run/index.js b/dist/post_run/index.js
index 8978b4d..7cc8005 100644
--- a/dist/post_run/index.js
+++ b/dist/post_run/index.js
@@ -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
diff --git a/dist/run/index.js b/dist/run/index.js
index 1ab7483..a4572c0 100644
--- a/dist/run/index.js
+++ b/dist/run/index.js
@@ -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