I'm getting a weird error here: https://gitlab.inria.fr/coq/coq/-/jobs/4420261.
https://github.com/rlepigre/coq_lsp not found
maybe private repo?
OK, I was stupid, it is coq-lsp
, not coq_lsp
in the URL. I messed up the overlay file.
Rodolphe Lepigre has marked this topic as resolved.
The underline thing is so annoying, but that's a limitation of our toolchain
Last updated: Oct 13 2024 at 01:02 UTC