mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-07-14 11:15:40 +00:00
Code Activity

Merge pull request #6025 from YosysHQ/mmicko/disable_comment

Browse source 
codecov: Disable PR comments for now
This commit is contained in:
Miodrag Milanović 2026-07-10 11:48:27 +00:00 • committed by GitHub
commit be51f7a92c
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
.github/workflows/test-verific.yml vendored
View file

@ -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 }}

1
codecov.yml
View file

@ -6,3 +6,4 @@ coverage:
patch:
default:
informational: true
comment: false