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

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