Stream: Coq devs & plugin devs

Topic: coq.dev package fails to build


view this post on Zulip Ralf Jung (Feb 22 2022 at 18:09):

When trying to build the coq.dev package on our CI, we recently started getting an error:

Invalid character ':' in package version "remote: "

that's not terribly informative unfortunately... does anyone have an idea what is going on?

view this post on Zulip Ralf Jung (Feb 22 2022 at 18:18):

full build log is at https://gitlab.mpi-sws.org/iris/examples/-/jobs/173027

view this post on Zulip Ralf Jung (Feb 22 2022 at 18:18):

but strangely I cannot seem to reproduce this locally...

view this post on Zulip Emilio Jesús Gallego Arias (Feb 22 2022 at 18:21):

the dev stuff and opam is notoriously unreliable

view this post on Zulip Ralf Jung (Feb 22 2022 at 18:24):

well it builds git master, so it usually is about as reliable as the CI can ensure that master always stays green ;)

view this post on Zulip Ralf Jung (Feb 22 2022 at 18:25):

but in this case it seems to have to do with some cached state...

view this post on Zulip Emilio Jesús Gallego Arias (Feb 22 2022 at 18:28):

Yes caching is the problem

view this post on Zulip Emilio Jesús Gallego Arias (Feb 22 2022 at 18:28):

it is not reproducible

view this post on Zulip Emilio Jesús Gallego Arias (Feb 22 2022 at 18:28):

adding opam clean to the CI may help

view this post on Zulip Ralf Jung (Feb 22 2022 at 18:29):

well we need caching to make CI times reasonable^^

view this post on Zulip Emilio Jesús Gallego Arias (Feb 22 2022 at 18:32):

I don't think opam clean should increase your ci time a lot

view this post on Zulip Paolo Giarrusso (Feb 22 2022 at 19:37):

agree, my Dockerfiles are sequences of RUN opam update && opam install -y foo bar baz && opam clean (depending on the layers I want). opam clean only repeats downloads.

view this post on Zulip Paolo Giarrusso (Feb 22 2022 at 19:38):

(in fact, you might need the extra options for cleaning more things, there just isn’t a way to clean everything I’d want to clean)


Last updated: Feb 01 2023 at 15:04 UTC