def Queue.done
import bend-kube-runtime@0.2.0.0/src/queue.bend as Queueimport Base
212# A run of key ended with an action. The key stops running; a dirty key is
213# queued again at once; the action may ask for a timer. A key that is not
214# running changes nothing.
215def Queue.done(+q: Queue, +key: String, +a: Action) -> Queue & List<&2, Timer>:
216 Queue.done.go(q, key, a, Queue.running(q, key))