Stream: Coq devs & plugin devs

Topic: CI DAG view


view this post on Zulip Gaëtan Gilbert (Jun 19 2020 at 15:38):

Gitlab now (since ~2weeks ago?) has a dag view for pipelines. You can go to $pipe/dag (eg https://gitlab.com/coq/coq/-/pipelines/158099478/dag) or go to the pipe's page and click the dag button to see.
Screenshot_20200619_173210.png
See also https://gitlab.com/gitlab-org/gitlab/-/issues/220368

view this post on Zulip Gaëtan Gilbert (Jun 19 2020 at 15:39):

(Click on jobs and tubes to change highlights)

view this post on Zulip Gaëtan Gilbert (Jun 19 2020 at 15:40):

It's pretty useless AFAICT but may be entertaining.


Last updated: Oct 21 2021 at 19:03 UTC