← Command reference · CLI overview

lean-pkg coverage

coverage.yaml (coverage/1): the paper-to-Lean map (or a library’s main results) page renders.

Usage

lean-pkg coverage [common flags] [COMMAND]

[common flags]: --json, --commit, --push, --no-commit, also accepted before the command name; see the CLI overview.

Subcommands

• lean-pkg coverage check: validate coverage.yaml against claims.yaml and the receipts at HEAD; exit 0/1; read-only

Exit codes

0 success (dry runs and no-ops included), 1 refused or failed, 2 usage error; see Exit codes.