Updated on 2022-06-10 10:15:33 UTC
refreshed every 30 minutes
refreshed every 30 minutes
Natasha Klaus' actions
on nomadic-labs/coq-tezos-of-ocaml
(18)
| Resource | Action | Why |
|---|---|---|
| nomadic-labs/coq-tezos-of-ocaml!560 encoding Blocking nomadic-labs/coq-tezos-of-ocaml#102 nomadic-labs/coq-tezos-of-ocaml#101 | Reply to thread | webmathew is the original author |
| Reply to thread | webmathew is the original author | |
| Add a merge-team reviewer | webmathew is the original author | |
| 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 | webmathew is the original author |
| UnWIP | webmathew is the original author | |
| nomadic-labs/coq-tezos-of-ocaml#98 Encodings in 🗂️ Indexable.v data-encoding sprint-4 | Complete task | webmathew is assigned |
| nomadic-labs/coq-tezos-of-ocaml#100 Encodings in ⚗️ Liquidity_baking_repr.v data-encoding sprint-4 | Complete task | webmathew is assigned |
| nomadic-labs/coq-tezos-of-ocaml#103 Encodings in 🎲 Sampler.v data-encoding | Complete task | webmathew is assigned |
| nomadic-labs/coq-tezos-of-ocaml#101 Encodings in 🧑 Main.v data-encoding sprint-4 Blocked by nomadic-labs/coq-tezos-of-ocaml!560 | Unblock | webmathew is assigned |
| nomadic-labs/coq-tezos-of-ocaml#102 Encodings in 🖼️ Raw_context.v data-encoding sprint-4 Blocked by nomadic-labs/coq-tezos-of-ocaml!560 | Unblock | webmathew is assigned |
| nomadic-labs/coq-tezos-of-ocaml#51 An invariant required for storage_functors.v | Solve issue | webmathew opened issue and no one is assigned |
| nomadic-labs/coq-tezos-of-ocaml!517 Draft: Skip list backpath | Close or reply to thread | webmathew is the thread author |
| Close or reply to thread | webmathew is the thread author | |
| Close or reply to thread | webmathew is the thread author | |
| Close or reply to thread | webmathew is the thread author | |
| Close or reply to thread | webmathew is the thread author | |
| UnWIP | webmathew is the original author | |
| nomadic-labs/coq-tezos-of-ocaml!483 Draft: Sc_rollup_inbox_proof_encodings | Close or reply to thread | webmathew is the thread author |
Repositories
|
