Stream: Coq devs & plugin devs

Topic: coq-lsp CI job failing


view this post on Zulip Enrico Tassi (Feb 17 2023 at 13:35):

It lacks a library: https://gitlab.com/coq/coq/-/jobs/3790149551

view this post on Zulip Emilio Jesús Gallego Arias (Feb 17 2023 at 15:06):

Oups my fault, I had put a process to ensure this doesn't happen, however I read the docker image list of packages wrong it seems :S


Last updated: Jun 23 2024 at 01:02 UTC