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

@emarzionEvan Marzion's actions on nomadic-labs/coq-tezos-of-ocaml (11)

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/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