Updated on 2022-06-10 10:15:35 UTC
refreshed every 30 minutes
@arvidnlarvidnl (2)

Everybody's actions on nomadic-labs/albert packaging (2)

Resource Action Who and why
nomadic-labs/albert#22
CI reminder to mirror opam file in `coq-opam-archive`
ci packaging 		Solve issue @arvidnlarvidnl is assigned
nomadic-labs/albert#23
Exclude non-Albert ML files from coverage report
packaging test 		Solve issue @arvidnlarvidnl is assigned

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