magus v0.4.3 is out. See what's new
¶ View markdown source · ✎ Suggest an edit

lease-terminal

An advisory: it explains, and blocks nothing, on a call naming a lease whose row has already finished.

What it catches

A call naming a lease whose row has already finished.

Seeing it

A verdict names its rule in brackets, which is how you got here:

advise [lease-terminal]: ...

magus describe rule lease-terminal prints the same entry at a terminal, and magus describe rules lists every rule this workspace enforces.

See also

  • All rules - what this workspace enforces, deny first
  • The guard - how a verdict is reached and wired
ReferencePages in this section. lease-invalid: a call naming a lease this workspace's job store does not declareAn advisory: it explains, and blocks nothing, on a call naming a lease this workspace's job store does not declare. leased-path: a write into paths a running lease owns, by a caller that names no leaseAn advisory: it explains, and blocks nothing, on a write into paths a running lease owns, by a caller that names no lease. unleased-write: a write magus cannot attribute while a fleet is runningAn advisory: it explains, and blocks nothing, on a write magus cannot attribute while a fleet is running.
guardruleslease-terminaladvise
Last updated (d966bfce)
Glossary

Workspace

The magus root directory that owns a set of projects and shared config; the unit magus operates over. See workspace.

Lease

The grant a holder takes on a job: the write and read paths that job declared, enforced in the checkout that took it with magus job exec. A job is the piece of work; a lease is permission over it.

Advisor

One read-only check from the advice suite: it reads the changeset through magus and writes one titled section of findings. The same advisors run as a pull request comment in CI and inside magus diff --impact locally.

Conventions

This page uses none of the site's convention markers. The full set is on the conventions page.