Skip to content

Coverage

Coverage #37

Workflow file for this run

name: Coverage
on:
workflow_run:
workflows: [ "CI" ]
types:
- completed
jobs:
coverage:
runs-on: ubuntu-latest
if: ${{ github.event.workflow_run.event == 'pull_request' }}
steps:
- uses: actions/checkout@v2
with:
fetch-depth: 0
ref: ${{ github.event.workflow_run.head_commit.id }}
- name: Download Coverage Artifacts
uses: dawidd6/action-download-artifact@v2.13.0
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
workflow: ${{ github.event.workflow_run.workflow_id }}
commit: ${{ github.event.workflow_run.head_commit.id }}
name: coverage
path: coverage
- name: Produce Coverage report
uses: 5monkeys/cobertura-action@master
with:
path: coverage/cobertura-coverage.xml
repo_token: ${{ secrets.GITHUB_TOKEN }}
minimum_coverage: 100
show_missing: true
show_line: true
show_branch: true