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

@colin.gColin González's actions on nomadic-labs/mi-cho-coq (2)

Resource Action Why
nomadic-labs/mi-cho-coq!71
Dexter verification
smart-contract verification
Add a merge-team reviewer colin.g pushed recently
nomadic-labs/mi-cho-coq#51
Verify Dexter 2 (Dexter/FA1.2LQT, Dexter 1.5)
smart-contract verification
Complete task colin.g is assigned