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

Everybody's actions on nomadic-labs/albert meta-theory (3)

Resource Action Who and why
nomadic-labs/albert#7
nomadic-labs/albert#7
meta-theory
Complete task @rafoo_rafoo_ is assigned
nomadic-labs/albert!14
WIP: Subject reduction for the base + toplevel fragment
meta-theory
Fix CI @rafoo_rafoo_ is the original author and triggered last pipeline
UnWIP @rafoo_rafoo_ is the original author