Stream: Coq devs & plugin devs

Topic: coq_tools failing in CI


view this post on Zulip Gaƫtan Gilbert (Oct 27 2021 at 12:11):

eg https://gitlab.com/coq/coq/-/jobs/1719664267
cc @Jason Gross


Last updated: Feb 01 2023 at 15:04 UTC