mirror of
https://github.com/YosysHQ/yosys.git
synced 2026-08-22 06:07:26 +02:00
codecov: Disable PR comments for now
This commit is contained in:
@@ -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 }}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user