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: Feb 02 2023 at 13:03 UTC