Stream: Coq devs & plugin devs

Topic: gitlab.mpi-sws.org down

Gaëtan Gilbert (Dec 13 2023 at 15:11):

gitlab.mpi-sws.org seems to be offline leading to CI failures on iris & co

Gaëtan Gilbert (Dec 13 2023 at 16:08):

looks like it's back

Last updated: Oct 13 2024 at 01:02 UTC