INNER CODE UNIT · Python

ExitCode

MinaProtocol/mina · maintenance/deps/main.py:72

class ExitCode(IntEnum):
    OK = 0
    FAILED = 1
    USAGE = 2


# ------------------------------------------------------------------ boundary
#
# JSON is the only place raw dictionaries are allowed. Everything below parses
# once, into the models above, and never looks at a raw dict again.


@dataclass(frozen=True, slots=True)
class Baseline:
    """The committed pins that `check` ratchets against."""

    entrypoints: Mapping[NodeId, Budget]
    opam_packages: frozenset[str]

View source record →