web/repo: a run's workflows are tabs in its ribbon, the ones past its end in a menu

2c25ee7c parent c49a5e89 +61 −35
browse files