docs: use Devolutions logo #1498
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Coverage | |
on: | |
push: | |
branches: | |
- master | |
pull_request: | |
types: [ opened, synchronize, reopened ] | |
workflow_dispatch: | |
env: | |
CARGO_REGISTRIES_CRATES_IO_PROTOCOL: sparse | |
jobs: | |
coverage: | |
name: Coverage Report | |
runs-on: ubuntu-20.04 | |
# Running the coverage job is only supported on the official repo itself, not on forks | |
# (because $GITHUB_TOKEN only have read permissions when run on a fork) | |
# We would need something like Codecov integration to handle forks properly | |
# https://github.com/taiki-e/cargo-llvm-cov#continuous-integration | |
if: github.event.pull_request.head.repo.full_name == github.repository || github.event_name != 'pull_request' | |
steps: | |
- uses: actions/checkout@v4 | |
- name: Rust cache | |
uses: Swatinem/[email protected] | |
- name: Prepare runner | |
run: cargo xtask cov install -v | |
- name: Generate PR report | |
if: github.event.number != '' | |
env: | |
GH_TOKEN: ${{ github.token }} | |
run: cargo xtask cov report-gh --repo "${{ github.repository }}" --pr "${{ github.event.number }}" -v | |
- name: Configure Git Identity | |
if: github.ref == 'refs/heads/master' | |
run: | | |
git config --local user.name "github-actions[bot]" | |
git config --local user.email "github-actions[bot]@users.noreply.github.com" | |
- name: Update coverage data | |
if: github.ref == 'refs/heads/master' | |
env: | |
GH_TOKEN: ${{ secrets.DEVOLUTIONSBOT_TOKEN }} | |
run: cargo xtask cov update -v |