Updated on 2022-06-10 10:15:21 UTC
refreshed every 30 minutes
refreshed every 30 minutes
Evan Marzion's actions
(14)
| Resource | Action | Why |
|---|---|---|
| nomadic-labs/coq-tezos-of-ocaml!508 Draft: Carbonated maps Blocking nomadic-labs/coq-tezos-of-ocaml#127 | Reply to thread | emarzion is the original author |
| Reply to thread | emarzion is the original author | |
| Reply to thread | emarzion is the original author | |
| Reply to thread | emarzion is the original author | |
| Reply to thread | emarzion is the original author | |
| Reply to thread | emarzion is the original author | |
| Reply to thread | emarzion is the original author | |
| UnWIP | emarzion is the original author | |
| nomadic-labs/mi-cho-coq!155 Adding support for 8.14 | Fix CI | emarzion is the original author and triggered last pipeline |
| Add a merge-team reviewer | emarzion is the original author | |
| Wait for pipeline | emarzion is the original author | |
| nomadic-labs/coq-tezos-of-ocaml#127 Verify carbonated maps (3/3) carbonated maps sprint-3 sprint-4 Blocked by nomadic-labs/coq-tezos-of-ocaml!508 | Unblock | emarzion is assigned |
| nomadic-labs/coq-tezos-of-ocaml!326 Draft: Progress dep_step_eq | Fix CI | emarzion pushed recently and triggered last pipeline |
| UnWIP | emarzion pushed recently |
