Stream: Coq devs & plugin devs

Topic: Serapi overlay & coq-lsp


view this post on Zulip Notification Bot (Mar 29 2023 at 08:04):

Enrico Tassi has marked this topic as unresolved.

view this post on Zulip Enrico Tassi (Mar 29 2023 at 08:04):

Then there is a missing dependency in Makefile.ci

view this post on Zulip Gaëtan Gilbert (Mar 29 2023 at 09:05):

Makefile.ci contains ci-coq_lsp: ci-serapi
something weird is going on

view this post on Zulip Enrico Tassi (Mar 29 2023 at 09:25):

It could be that the installation of ci-serapi does not take place

view this post on Zulip Enrico Tassi (Mar 29 2023 at 09:26):

(correctly I mean)

view this post on Zulip Gaëtan Gilbert (Mar 29 2023 at 09:33):

but then why does CI succeed?

view this post on Zulip Enrico Tassi (Mar 29 2023 at 09:40):

I guess because the environment in which @Maxime Dénès is developing is not the same

view this post on Zulip Enrico Tassi (Mar 29 2023 at 09:40):

different dune, different env variables...

view this post on Zulip Enrico Tassi (Mar 29 2023 at 09:41):

I mean, I guess he did not fire up docker


Last updated: Jun 13 2024 at 05:01 UTC