Skip to content

Extract uninhabited helper for null.asInstanceOf placeholder values #10

Extract uninhabited helper for null.asInstanceOf placeholder values

Extract uninhabited helper for null.asInstanceOf placeholder values #10

Workflow file for this run

name: Code Coverage
on:
pull_request:
branches: ['**']
push:
branches: [main]
jobs:
coverage:
name: Coverage
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v6
- name: Setup Java
uses: actions/setup-java@v5
with:
distribution: temurin
java-version: 21
- name: Cache Mill
uses: actions/cache@v4
with:
path: |
~/.cache/mill
~/.mill
out/
key: mill-coverage-${{ hashFiles('build.mill') }}
restore-keys: mill-coverage-
- name: Run tests with coverage
run: ./mill core.test
- name: Generate coverage report
run: ./mill core.scoverage.xmlCoberturaReport
- name: Upload coverage to Codecov
uses: codecov/codecov-action@v5
with:
files: out/core/scoverage/xmlCoberturaReport.dest/cobertura.xml
fail_ci_if_error: true
env:
CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}