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: Oct 12 2024 at 12:01 UTC