WTF? https://gitlab.com/coq/coq/-/jobs/4024357410
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
github is dying too (maybe, got a couple 500)
yes, both report issues https://www.githubstatus.com/ and https://status.gitlab.com/
just when I finished my PR, bad luck :)
Last updated: Oct 13 2024 at 01:02 UTC