Using docker image sha256:b3d16e141e9c9904ea76bddeb211397a11e888901b4f23862e7418777f84ad23 for mathcomp/mathcomp:1.13.0-coq-8.14 with digest mathcomp/mathcomp@sha256:cab9533297f15d64b4fdcb0e0bb4f87dab8b64e917ae671b40c298a582ea0c36 ... $ opam update -y
<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> [default] synchronised from https://opam.ocaml.org [ERROR] Could not update repository "coq-released": OpamDownload.Download_fail(_, "Curl failed: \"/usr/bin/curl --write-out %{http_code}\\\\n --retry 3 --retry-delay 2 --user-agent opam/2.1.2 -L -o /tmp/opam-13-5f8500/index.tar.gz.part -- https://coq.inria.fr/opam/released/index.tar.gz\" exited with code 7") Now run 'opam upgrade' to apply any package updates. Cleaning up project directory and file based variables ERROR: Job failed: exit code 1