Updated on 2022-06-10 10:15:35 UTC
refreshed every 30 minutes
@julien.tjulien.t (3)@onurbonurb (3)@rafoo_rafoo_ (2)@MBourgoinMBourgoin (1)@OanaLPOanaLP (1)@SamREyeSamREye (1)@davdumasdavdumas (1)@jgonlabsjgonlabs (1)@klakplokklakplok (1)@nguyencharles.nlabsnguyencharles.nlabs (1)@pirbopirbo (1)@raphael-proustraphael-proust (1)@romain.nlromain.nl (1)@vbotbolvbotbol (1)

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

Repositories

nomadic-labs/albertnomadic-labs/albert

Dispatchers:   @davdumasdavdumas @jgonlabsjgonlabs @klakplokklakplok @MBourgoinMBourgoin @nguyencharles.nlabsnguyencharles.nlabs @OanaLPOanaLP @onurbonurb @pirbopirbo @raphael-proustraphael-proust @romain.nlromain.nl @SamREyeSamREye @vbotbolvbotbol (from project owners)
Merge‑teamers:   @davdumasdavdumas @jgonlabsjgonlabs @klakplokklakplok @MBourgoinMBourgoin @nguyencharles.nlabsnguyencharles.nlabs @OanaLPOanaLP @onurbonurb @pirbopirbo @raphael-proustraphael-proust @romain.nlromain.nl @SamREyeSamREye @vbotbolvbotbol (copied from dispatchers)
Issue watchers:  No one (no one)
Labels:  bug ci compiler confirmed critical discussion documentation Doing emacs-mode enhancement meta-issue meta-theory packaging priority::high priority::low priority::mid Release Management Crew specification state::blocked state::in-progress state::in-review state::ready-to-merge state::to-do suggestion support test To Do ui