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?
full build log is at https://gitlab.mpi-sws.org/iris/examples/-/jobs/173027
but strangely I cannot seem to reproduce this locally...
the dev stuff and opam is notoriously unreliable
well it builds git master, so it usually is about as reliable as the CI can ensure that master always stays green ;)
but in this case it seems to have to do with some cached state...
Yes caching is the problem
it is not reproducible
adding opam clean to the CI may help
well we need caching to make CI times reasonable^^
I don't think opam clean should increase your ci time a lot
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.
(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