Resource | Action | Who and why |
---|---|---|
nomadic-labs/albert#7 nomadic-labs/albert#7 meta-theory | Complete task | rafoo_ is assigned |
nomadic-labs/albert!14 WIP: Subject reduction for the base + toplevel fragment meta-theory | Fix CI | rafoo_ is the original author and triggered last pipeline |
UnWIP | rafoo_ is the original author |
nomadic-labs/albert
Dispatchers:
davdumas
jgonlabs
klakplok
MBourgoin
nguyencharles.nlabs
OanaLP
onurb
pirbo
raphael-proust
romain.nl
SamREye
vbotbol
(from project owners)
Merge‑teamers:
davdumas
jgonlabs
klakplok
MBourgoin
nguyencharles.nlabs
OanaLP
onurb
pirbo
raphael-proust
romain.nl
SamREye
vbotbol
(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
|