From 10fcf7a5933375389a6e4c692387f8c121cbb770 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Fri, 10 Jul 2026 13:33:59 +0200
Subject: [PATCH] codecov: Disable PR comments for now

---
 .github/workflows/test-verific.yml | 1 -
 codecov.yml                        | 1 +
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/test-verific.yml b/.github/workflows/test-verific.yml
index 26b5a0523..74193bf2f 100644
--- a/.github/workflows/test-verific.yml
+++ b/.github/workflows/test-verific.yml
@@ -100,7 +100,6 @@ jobs:
           token: ${{ secrets.CODECOV_TOKEN }}
           slug: YosysHQ/yosys
           files: build/coverage.info
-          comment: false
           disable_search: true
           override_branch: ${{ github.event_name == 'merge_group' && github.event.merge_group.base_ref || github.ref_name }}
 
diff --git a/codecov.yml b/codecov.yml
index bfdc9877d..51ceba8e8 100644
--- a/codecov.yml
+++ b/codecov.yml
@@ -6,3 +6,4 @@ coverage:
     patch:
       default:
         informational: true
+comment: false