← Command reference · lean-pkg registry · CLI overview

lean-pkg registry validate

schema + enum + history sanity; exit 0/1.

Also spelled: lean-pkg validate (all aliases).

Usage

lean-pkg registry validate [common flags]

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

Details

Form	What it does	Key flags
validate	schema, enum, and history sanity (a lease’s optional contact, when present, must be a string); invalid: INVALID (N error(s)) before the FAIL lines and again last; exit 0 or 1

JSON output

Top-level keys of --json, as recorded in the golden contract (tests/golden/json-keys.json):

• validate (exit 0): errors, ok, registry, valid

Examples

Schema, enum and history sanity of the whole registry; exit 0 valid, 1 errors.

lean-pkg registry validate