Ralf Jung (Feb 22 2022 at 18:09): 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?
Ralf Jung (Feb 22 2022 at 18:18):full build log is at https://gitlab.mpi-sws.org/iris/examples/-/jobs/173027
Ralf Jung (Feb 22 2022 at 18:18):but strangely I cannot seem to reproduce this locally...
Emilio Jesús Gallego Arias (Feb 22 2022 at 18:21):the dev stuff and opam is notoriously unreliable
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 ;)
Ralf Jung (Feb 22 2022 at 18:25):but in this case it seems to have to do with some cached state...
Emilio Jesús Gallego Arias (Feb 22 2022 at 18:28):Yes caching is the problem
Emilio Jesús Gallego Arias (Feb 22 2022 at 18:28):it is not reproducible
Emilio Jesús Gallego Arias (Feb 22 2022 at 18:28):adding opam clean to the CI may help
Ralf Jung (Feb 22 2022 at 18:29):well we need caching to make CI times reasonable^^
Emilio Jesús Gallego Arias (Feb 22 2022 at 18:32):I don't think opam clean should increase your ci time a lot
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.
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: Jun 04 2023 at 19:30 UTC