luke
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #6026 from YosysHQ/mmicko/coverage_main 

codecov: Upload coverage on main
This commit is contained in:
Miodrag Milanović 2026-07-10 15:25:25 +00:00 committed by GitHub
parent ede98b81ac 16766b26e9
commit 6fdd5bb11e
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
.github/workflows/test-verific.yml vendored
View File

@ -3,8 +3,8 @@ name: Build and run tests with Verific (Linux)
on: on:
pull_request: pull_request:
merge_group: merge_group:
#push: push:
# branches: [ main ] branches: [ main ]
workflow_dispatch: workflow_dispatch:
jobs: jobs:
@ -90,18 +90,22 @@ jobs:
make -C tests/svtypes make -C tests/svtypes
- name: Run coverage - name: Run coverage
if: ${{ github.event_name != 'merge_group'}}
run: | run: |
make -C tests coverage make -C tests coverage
- name: Clean coverage
run: |
make -C tests clean_coverage make -C tests clean_coverage
- name: Upload coverage reports to Codecov - name: Upload coverage reports to Codecov
if: ${{ github.event_name != 'merge_group'}}
uses: codecov/codecov-action@v7 uses: codecov/codecov-action@v7
with: with:
token: ${{ secrets.CODECOV_TOKEN }} token: ${{ secrets.CODECOV_TOKEN }}
slug: YosysHQ/yosys slug: YosysHQ/yosys
files: build/coverage.info files: build/coverage.info
disable_search: true disable_search: true
override_branch: ${{ github.event_name == 'merge_group' && github.event.merge_group.base_ref || github.ref_name }}
- name: Skip generating files - name: Skip generating files
if: ${{ github.event_name == 'merge_group' || github.event_name == 'workflow_dispatch' }} if: ${{ github.event_name == 'merge_group' || github.event_name == 'workflow_dispatch' }}
@ -115,7 +119,7 @@ jobs:
test-pyosys: test-pyosys:
needs: pre_job needs: pre_job
if: ${{ needs.pre_job.outputs.should_skip != 'true' && github.repository_owner == 'YosysHQ' }} if: ${{ needs.pre_job.outputs.should_skip != 'true' && github.repository_owner == 'YosysHQ' && github.event_name != 'push' }}
runs-on: [self-hosted, linux, x64, fast] runs-on: [self-hosted, linux, x64, fast]
steps: steps:
- name: Checkout Yosys - name: Checkout Yosys