style: remove redundant section comments

2026-05-16 19:09:59 +02:00
parent c3d595e2e1
commit f62ac427c2
2 changed files with 10 additions and 38 deletions
@@ -197,7 +197,7 @@ export async function postCode() {
      });
  }

-  // ── Console monitoring (optional) ────────────────────────────────────────
+  // Console monitoring (optional)
  const monitorTicks = parseInt(core.getInput("monitor") || "0", 10);
  if (monitorTicks > 0) {
    const result = await monitorConsole(api, {