Updated on 2022-06-10 10:15:33 UTC
refreshed every 30 minutes

@deepmindsterAndrey Klaus' actions on nomadic-labs/coq-tezos-of-ocaml (12)

Resource Action Why
nomadic-labs/coq-tezos-of-ocaml!504
Draft: dep_merge_branches_eq Simulations 20-29
Blocking nomadic-labs/coq-tezos-of-ocaml#135
Fix CI deepmindster triggered last pipeline
nomadic-labs/coq-tezos-of-ocaml!510
MR for saturation fuzzing proofs help
Close or reply to thread deepmindster is the thread author
Close or reply to thread deepmindster is the thread author
nomadic-labs/coq-tezos-of-ocaml#137
Translator simulations 40-49
michelson sprint-3 sprint-4
Complete task deepmindster is assigned
nomadic-labs/coq-tezos-of-ocaml#139
Translator simulations 60-69
michelson sprint-3 sprint-4
Solve issue deepmindster is assigned
nomadic-labs/coq-tezos-of-ocaml#42
ocaml 4.13
Solve issue deepmindster opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml!291
Draft: 96-parse-unparse-comparable_data
Close or reply to thread deepmindster is the thread author
Close or reply to thread deepmindster is the thread author
Fix CI deepmindster is the original author and triggered last pipeline
UnWIP deepmindster is the original author
nomadic-labs/coq-tezos-of-ocaml!250
Draft: -- not for comments yet --
Fix CI deepmindster is the original author and triggered last pipeline
UnWIP deepmindster is the original author