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: Dec 07 2023 at 06:38 UTC