← Command reference · CLI overview

lean-pkg blueprint

blueprint: check (\lean{} names with checkdecls).

Usage

lean-pkg blueprint [common flags] [COMMAND]

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

Subcommands

• lean-pkg blueprint check: run checkdecls on the blueprint’s declaration list at HEAD and check claims.yaml against it; exit 0 nothing missing / 1; writes nothing

Exit codes

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