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

Everybody's actions on nomadic-labs/mi-cho-coq beginner (2)

Resource Action Who and why
nomadic-labs/mi-cho-coq#57
Generate and publish HTML documentation
beginner build ci
Solve issue @yrgyrg is assigned
nomadic-labs/mi-cho-coq#29
Formalize big maps
beginner formalisation Todo
Solve issue @rafoo_rafoo_ opened issue and no one is assigned