Stream: Coq devs & plugin devs

Topic: ✔ Test-suite fake_ide issue


view this post on Zulip Théo Zimmermann (Aug 12 2021 at 10:09):

That was probably my mistake: testing on an outdated master.

view this post on Zulip Gaëtan Gilbert (Aug 12 2021 at 10:14):

it works on master?

view this post on Zulip Théo Zimmermann (Aug 12 2021 at 10:15):

I'm currently checking this.

view this post on Zulip Théo Zimmermann (Aug 12 2021 at 10:23):

Yes, it works well.

view this post on Zulip Notification Bot (Aug 12 2021 at 10:23):

Théo Zimmermann has marked this topic as resolved.


Last updated: Oct 15 2021 at 20:02 UTC