Output.P
include S.OPERATION
A short and unique name for this operation, used as a filename component and database key. e.g. "docker-build"
module Key : S.WITH_DIGEST
The id, Key.t
pair uniquely identifies the operation.
module Value : S.WITH_DIGEST
The value to publish.
module Outcome : S.WITH_MARSHAL
Extra information about the result, if any. Usually this is just Current.Unit
.
val publish :
t ->
Current.Job.t ->
Key.t ->
Value.t ->
Outcome.t Current.or_error Lwt.t
publish t j k v
sets output k
to value v
. Call Job.start j
once any required resources have been acquired. Log messages can be written to j
.