Stream: Coq devs & plugin devs

Topic: base+async CI broken on master?

view this post on Zulip Pierre-Marie Pédrot (Jun 05 2023 at 11:28):

It seems to reliably fail with the error

Don't know what to do with proof:0:0
See -help for the list of supported options
Handshake with proof:0:0 failed: End_of_file

view this post on Zulip Gaëtan Gilbert (Jun 05 2023 at 11:30):

yes, I broke it in
will make a fix soon

Last updated: May 24 2024 at 23:01 UTC