Stream: Coq devs & plugin devs

Topic: Elpi's CI


view this post on Zulip Emilio Jesús Gallego Arias (May 18 2020 at 20:27):

@Enrico Tassi it seems that some change upstream broke Elpi's CI?

view this post on Zulip Enrico Tassi (May 19 2020 at 07:56):

Hum, the makefile was broken, now it is broken in another way... I pushed a hotfix, lets see


Last updated: Oct 21 2021 at 20:02 UTC