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

Everybody's actions on nomadic-labs/mi-cho-coq Done (1)

Resource Action Who and why
nomadic-labs/mi-cho-coq#22
nomadic-labs/mi-cho-coq#22
Done smart-contract verification
Solve issue @onurbonurb is assigned