Michael Soegtrop (May 24 2024 at 10:02): Michael Soegtrop (May 24 2024 at 10:02):@Enrico Tassi : In Coq Platform CI, Elpi 1.14.3 for Coq 8.15 stopped to compile the night from Saturday to Sunday. I have 3 reruns in total, so this doesn't seem to be a CI glitch. Can you please have a look at:
https://github.com/coq/platform/actions/runs/9216970220/job/25366534031#step:5:742
Michael Soegtrop (May 24 2024 at 10:05):The full log of elpi is here: https://github.com/coq/platform/actions/runs/9216970220/job/25366534031#step:5:1044
Michael Soegtrop (May 24 2024 at 10:06):The actual error should be: https://github.com/coq/platform/actions/runs/9216970220/job/25366534031#step:5:1108
Gaëtan Gilbert (May 24 2024 at 10:39):that seems to be elpi not coq-elpi so the coq version should be irrelevant
Enrico Tassi (May 24 2024 at 11:17):The problem comes from camlp5 (that I dropped in recent versions...).
Here the fix for another project: https://github.com/sacerdot/matita/pull/5
I think you should pin camlp5.
Michael Soegtrop (May 24 2024 at 11:56):OK. Should I pin campl5 to the latest working version or to whatever was current when the respective version came out (this is documented in the history of the package list files).
Last updated: Oct 13 2024 at 01:02 UTC