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 https://github.com/coq/coq/pull/17377
will make a fix soon


Last updated: Dec 05 2023 at 12:01 UTC