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

@arvidnlArvid Jakobsson's actions on nomadic-labs/albert (5)

Resource Action Why
nomadic-labs/albert#9
Improve error messages
compiler enhancement ui 		Solve issue arvidnl is assigned
nomadic-labs/albert#16
Extend test suite
test 		Solve issue arvidnl is assigned
nomadic-labs/albert#22
CI reminder to mirror opam file in `coq-opam-archive`
ci packaging 		Solve issue arvidnl is assigned
nomadic-labs/albert#23
Exclude non-Albert ML files from coverage report
packaging test 		Solve issue arvidnl is assigned
nomadic-labs/albert#26
Track and publish coverage
test 		Solve issue arvidnl 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