@Enrico Tassi it seems that some change upstream broke Elpi's CI?
Hum, the makefile was broken, now it is broken in another way... I pushed a hotfix, lets see
Last updated: Oct 13 2024 at 01:02 UTC