Stream: coqbot devs & users

Topic: Unknown pipeline status: Created

view this post on Zulip Jason Gross (Jan 18 2022 at 16:40):

Is this supposed to happen?
image.png
image.png
image.png
image.png
image.png

view this post on Zulip Théo Zimmermann (Jan 18 2022 at 18:17):

Hum, we only handle a subset of job / pipeline lifecycle, but we can expand it if there are phases that appear to be important.

Last updated: May 28 2023 at 18:29 UTC