Stream: Coq devs & plugin devs

Topic: iris broken in CI


view this post on Zulip Gaëtan Gilbert (Feb 09 2024 at 16:49):

eg https://gitlab.inria.fr/coq/coq/-/jobs/3866516
cf https://gitlab.mpi-sws.org/iris/iris/-/merge_requests/1028


Last updated: Oct 13 2024 at 01:02 UTC