Skip to content

coverage

coverage #194

Workflow file for this run

name: coverage
on:
workflow_run:
workflows: ["ci"]
types:
- completed
pull_request:
types: [review_requested, ready_for_review]
push:
branches:
- main
workflow_dispatch:
jobs:
coverage:
name: coverage
if: ${{ github.event.workflow_run.conclusion == 'success' || github.event_name == 'workflow_dispatch' }}
runs-on: ubuntu-22.04
steps:
- name: Checkout repository
uses: actions/checkout@v4
with:
# at the time of writing workflow_run.head_commit.id appears to be
# the commit that triggered the CI workflow which then triggered us.
ref: ${{ github.event.workflow_run.head_commit.id }}
- name: Install cargo-tarpaulin if needed
run: cargo install --locked cargo-tarpaulin
- name: Generate cargo-tarpaulin code coverage reports
run: cargo tarpaulin --verbose --out Html --out Xml --timeout 300
- name: Upload HTML report to GH Actions workflow artifacts
uses: actions/upload-artifact@v3
with:
name: code-coverage-report
path: tarpaulin-report.html
- name: Generate Markdown coverage report
uses: irongut/CodeCoverageSummary@v1.3.0
with:
filename: cobertura.xml
format: markdown
output: both
hide_complexity: true
indicators: false
- name: Add Markdown coverage report to workflow summary
run: |
cat code-coverage-results.md >> $GITHUB_STEP_SUMMARY
echo >> $GITHUB_STEP_SUMMARY
echo "See the HTML report for more details (see the code-coverage-report workflow artifact)">> $GITHUB_STEP_SUMMARY