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: Oct 13 2024 at 01:02 UTC