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

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

Resource Action Who and why
nomadic-labs/albert#24
Simplify CI's use of opam install
ci priority::low To Do 		Complete task @rafoo_rafoo_ is assigned
nomadic-labs/albert#22
CI reminder to mirror opam file in `coq-opam-archive`
ci packaging 		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