def Exec.token.got
import bend-kube-runtime@0.2.0.0/src/client.bend as Clientimport Base
import bend-kube-runtime@0.2.0.0/src/json.bend as J
112def Exec.token.got(+cmd: String, t: J.Json) -> Res(String):
113 match t:
114 case J.JStr{tok}:
115 Done{tok}
116 case _:
117 Fail{(5, cmd ++ ": the ExecCredential has no status.token")}