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?
maybe something temporary, now a job triggered again
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: Jan 31 2023 at 10:01 UTC