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: Jun 05 2023 at 09:01 UTC