Stream: coqbot devs & users

Topic: coqbot down for opam-archive?

view this post on Zulip Karl Palmskog (Mar 31 2022 at 09:01):

I'm not getting any CI anymore in the opam archive since this morning: https://github.com/coq/opam-coq-archive/pull/2150

Has there been some fundamental change in coqbot that might have caused this?

view this post on Zulip Karl Palmskog (Mar 31 2022 at 09:24):

maybe something temporary, now a job triggered again

view this post on Zulip Théo Zimmermann (Mar 31 2022 at 09:41):

The log contained:

31 Mar 2022 10:17:22.279182 <190>1 2022-03-31T08:17:21.881622+00:00 app web.1 - - remote: GitLab: http post to gitlab api /post_receive endpoint: Internal API error (502)
31 Mar 2022 10:17:22.279140 <190>1 2022-03-31T08:17:21.883888+00:00 app web.1 - - To https://gitlab.com/coq/opam-coq-archive.git
31 Mar 2022 10:17:22.279193 <190>1 2022-03-31T08:17:21.883893+00:00 app web.1 - - * [new branch] head-coq-prime.1.2.0-9723080a8170bbf953168db39acc3bfacb0cd5c7 -> pr-2150

So my interpretation is that the branch was correctly pushed to GitLab, but some internal GitLab server error prevented the pipeline to be triggered.

Last updated: May 28 2023 at 18:29 UTC