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

Everybody's actions on nomadic-labs/albert Doing (8)

Resource Action Who and why
nomadic-labs/albert!29
Increase coverage
Doing priority::high test
Fix CI @rafoo_rafoo_ is the original author and triggered last pipeline
Add a merge-team reviewer @rafoo_rafoo_ is the original author
Help add merge-team reviewers @davdumasdavdumas @jgonlabsjgonlabs @klakplokklakplok @MBourgoinMBourgoin @nguyencharles.nlabsnguyencharles.nlabs @OanaLPOanaLP @onurbonurb @pirbopirbo @raphael-proustraphael-proust @romain.nlromain.nl @SamREyeSamREye @vbotbolvbotbol is a dispatcher
nomadic-labs/albert#21
Add tests for opcodes
Doing priority::high test
Complete task @onurbonurb is assigned
nomadic-labs/albert#6
nomadic-labs/albert#6
compiler Doing enhancement
Solve issue @julien.tjulien.t is assigned
nomadic-labs/albert#13
Having __loc__ mechanism in coq for debbuging purpose
compiler Doing
Solve issue @julien.tjulien.t is assigned
nomadic-labs/albert#3
Add meta info to the AST
compiler Doing priority::high specification
Solve issue @julien.tjulien.t opened issue and no one is assigned
nomadic-labs/albert!23
WIP Bruno@coverage
Doing priority::high test
UnWIP @onurbonurb is the original author