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

@lthmsThomas Letan's actions on nomadic-labs/tezos (5)

Resource Action Why
nomadic-labs/tezos#389
nomadic-labs/tezos#389
feature-spec state::in-progress verif-activity
Solve issue lthms is assigned
nomadic-labs/tezos#398
nomadic-labs/tezos#398
formal-tools state::in-progress verif-activity
Solve issue lthms is assigned
nomadic-labs/tezos#540
nomadic-labs/tezos#540
state::to-do verif-activity
Solve issue lthms is assigned
nomadic-labs/tezos#585
nomadic-labs/tezos#585
feature-verif state::to-do verif-activity
Solve issue lthms is assigned
nomadic-labs/tezos#660
nomadic-labs/tezos#660
feature-verif safer-impl verif-activity
Solve issue lthms is assigned