Resource | Action | Why |
---|---|---|
tezos/michelson-reference!65 fix typing rule for PUSH | Close or reply to thread | NicVolanschi is the thread author |
Fix CI | NicVolanschi is the original author and triggered last pipeline | |
Add a merge-team reviewer | NicVolanschi is the original author | |
tezos/michelson-reference#60 Possibly missing information compared to old RST doc | Complete task | NicVolanschi opened issue and no one is assigned |