From c8453d05f962ac2932cc41716584088922c13a12 Mon Sep 17 00:00:00 2001
From: Copilot <198982749+Copilot@users.noreply.github.com>
Date: Sun, 26 Apr 2026 18:28:30 +0200
Subject: [PATCH] Add noop report-as-issue: false to code-simplifier workflow
 (#9397)

Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/4dbec82b-a305-4164-bd35-294761afc2e7

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 .github/workflows/code-simplifier.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/code-simplifier.md b/.github/workflows/code-simplifier.md
index 1ed073f93..ac4481869 100644
--- a/.github/workflows/code-simplifier.md
+++ b/.github/workflows/code-simplifier.md
@@ -19,6 +19,8 @@ safe-outputs:
     labels: [refactoring, code-quality, automation]
     reviewers: [copilot]
     expires: 1d
+  noop:
+    report-as-issue: false
 
 network:
   allowed: