Stream: Coq devs & plugin devs

Topic: opam archive CI caching error


view this post on Zulip Karl Palmskog (May 02 2022 at 19:33):

looks like there is some caching issue with the json-data job in the opam archive CI:

# context              2.1.2 | linux/x86_64 | ocaml-base-compiler.4.11.2 | https://opam.ocaml.org#f69a1923
# path                 ~/opam-root-4.11.2-2.1.2-sandbox/4.11.2/.opam-switch/build/easy-format.1.3.3
# command              ~/opam-root-4.11.2-2.1.2-sandbox/opam-init/hooks/sandbox.sh build dune install -p easy-format --create-install-files easy-format
# exit-code            1
# env-file             ~/opam-root-4.11.2-2.1.2-sandbox/log/easy-format-4312-4ea8ff.env
# output-file          ~/opam-root-4.11.2-2.1.2-sandbox/log/easy-format-4312-4ea8ff.out
### output ###
# /usr/local/bin/opam var prefix > /opam-tmp/dune_4cdc3d_output
# [WARNING] Running as root is not recommended
# [ERROR] /builds/coq/opam-coq-archive/opam-root-4.11.2-2.1.2-sandbox exists, but does not appear to be a valid opam root. Please remove it and use `opam init', or specify a different `--root' argument

maybe related to our upgrade to opam 2.1.2?

view this post on Zulip Guillaume Melquiond (May 03 2022 at 05:27):

Why do you think this is due to caching? Isn't it an instance of https://github.com/ocaml/dune/issues/5455?

view this post on Zulip Karl Palmskog (May 03 2022 at 06:45):

we had similar errors before that turned out to be caching-related, but it may be Dune this time

view this post on Zulip Karl Palmskog (May 03 2022 at 10:38):

I manually use dune.2.9.3 in the json CI job, seems to work


Last updated: Dec 07 2023 at 14:02 UTC