def finished

bend-kit-runner@0.13.0.1 · runner.bend:1642

import bend-kit-runner@0.13.0.1/runner.bend as Runner
import Base

1642# The runner back, and whether no ticket is pending or running and no attempt runs.
1643def finished(-A: Data, r: Runner<A>) -> Runner<A> & Bool:
1644  Runner{j, +s, p, c, ib, fs} = r
1645  finished.of(A, idle(A, s), flights.none(A, fs), j, s, p, c, ib)

Uses (6)

Used by (1)