Updated on 2022-06-10 10:15:35 UTC
refreshed every 30 minutes
refreshed every 30 minutes
Raphaël Cauderlier's actions
on nomadic-labs/albert
(10)
| Resource | Action | Why |
|---|---|---|
| nomadic-labs/albert!29 Increase coverage Doing priority::high test | Fix CI | rafoo_ is the original author and triggered last pipeline |
| Add a merge-team reviewer | rafoo_ is the original author | |
| nomadic-labs/albert#7 nomadic-labs/albert#7 meta-theory | Complete task | rafoo_ is assigned |
| nomadic-labs/albert#24 Simplify CI's use of opam install ci priority::low To Do | Complete task | rafoo_ is assigned |
| nomadic-labs/albert#2 AST printer and intermediate step printing options enhancement | Solve issue | rafoo_ is assigned |
| nomadic-labs/albert#12 Use Michocoq certified optimizer compiler | Solve issue | rafoo_ is assigned |
| nomadic-labs/albert#27 nomadic-labs/albert#27 documentation | Solve issue | rafoo_ opened issue and no one is assigned |
| nomadic-labs/albert!7 WIP: Adding protocol specific operations | Close or reply to thread | rafoo_ is the thread author |
| 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 |
Repositories
|
