Notification Bot (Mar 29 2023 at 08:04): Notification Bot (Mar 29 2023 at 08:04):Enrico Tassi has marked this topic as unresolved.
Enrico Tassi (Mar 29 2023 at 08:04):Then there is a missing dependency in Makefile.ci
Gaëtan Gilbert (Mar 29 2023 at 09:05):Makefile.ci contains ci-coq_lsp: ci-serapi
something weird is going on
Enrico Tassi (Mar 29 2023 at 09:25):It could be that the installation of ci-serapi does not take place
Enrico Tassi (Mar 29 2023 at 09:26):(correctly I mean)
Gaëtan Gilbert (Mar 29 2023 at 09:33):but then why does CI succeed?
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
Enrico Tassi (Mar 29 2023 at 09:40):different dune, different env variables...
Enrico Tassi (Mar 29 2023 at 09:41):I mean, I guess he did not fire up docker
Last updated: Nov 29 2023 at 22:01 UTC