From 76378e6eb94c5ca25c7ba44667c8e4c20e80d768 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Fri, 10 Jul 2026 12:26:47 +0200
Subject: [PATCH] Do not add comments in PR

---
 .github/workflows/test-verific.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/test-verific.yml b/.github/workflows/test-verific.yml
index 74193bf2f..26b5a0523 100644
--- a/.github/workflows/test-verific.yml
+++ b/.github/workflows/test-verific.yml
@@ -100,6 +100,7 @@ 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 }}