Stream: Coq devs & plugin devs

Topic: "structural integrity problem" in CI


view this post on Zulip Gaëtan Gilbert (Mar 29 2023 at 15:02):

WTF? https://gitlab.com/coq/coq/-/jobs/4024357410

view this post on Zulip Karl Palmskog (Mar 29 2023 at 15:08):

it seems "all" GitLab CI has stopped, for example, this PR did not get a job: https://github.com/coq/opam-coq-archive/pull/2528

view this post on Zulip Gaëtan Gilbert (Mar 29 2023 at 15:11):

github is dying too (maybe, got a couple 500)

view this post on Zulip Maxime Dénès (Mar 29 2023 at 15:22):

yes, both report issues https://www.githubstatus.com/ and https://status.gitlab.com/

view this post on Zulip Maxime Dénès (Mar 29 2023 at 15:22):

just when I finished my PR, bad luck :)


Last updated: May 24 2024 at 22:02 UTC