Stream: Coq devs & plugin devs

Topic: pendulum broken


view this post on Zulip Gaëtan Gilbert (Oct 19 2021 at 18:30):

it seems pendulum is having issues so I'm pausing it
see eg https://gitlab.com/coq/coq/-/jobs/1694331901


Last updated: Mar 28 2024 at 23:01 UTC