Updated on 2022-06-10 10:15:33 UTC
refreshed every 30 minutes
refreshed every 30 minutes
Rex Yuan's actions
on nomadic-labs/coq-tezos-of-ocaml
(8)
| Resource | Action | Why |
|---|---|---|
| nomadic-labs/coq-tezos-of-ocaml!563 Added simulation for dep_big_map_get_by_hash | Reply to thread | RektYuan is the original author |
| Add a merge-team reviewer | RektYuan is the original author | |
| nomadic-labs/coq-tezos-of-ocaml!568 Added proofs for index_opt_eq and substr_l_eq | Reply to thread | RektYuan is the original author |
| Add a merge-team reviewer | RektYuan is the original author | |
| nomadic-labs/coq-tezos-of-ocaml!528 Added proof for substr_l_eq | Reply to thread | RektYuan is the original author |
| Fix CI | RektYuan is the original author and triggered last pipeline | |
| Add a merge-team reviewer | RektYuan is the original author | |
| nomadic-labs/coq-tezos-of-ocaml#140 Translator simulations 70-79 michelson sprint-3 sprint-4 | Solve issue | RektYuan is assigned |
Repositories
|
