← Command reference · CLI overview

lean-pkg reservoir

Reservoir: check (read-only listing criteria).

Usage

lean-pkg reservoir [common flags] [COMMAND]

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

Subcommands

• lean-pkg reservoir check: would Reservoir list this package? read-only; exit 0 eligible / 1 not

Exit codes

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