Building on x86-bm-14.ocamllabs.io (from ocaml/opam:debian-unstable@sha256:7054d8a46152338971700614b854690c8ce1a3d6024d9e66b018a8e73119aa3f) Unable to find image 'ocaml/opam:debian-unstable@sha256:7054d8a46152338971700614b854690c8ce1a3d6024d9e66b018a8e73119aa3f' locally docker.io/ocaml/opam@sha256:7054d8a46152338971700614b854690c8ce1a3d6024d9e66b018a8e73119aa3f: Pulling from ocaml/opam 2db5444d1f5b: Already exists f086bebd22a1: Already exists 3264a46f1e18: Pulling fs layer 3264a46f1e18: Verifying Checksum 3264a46f1e18: Download complete 3264a46f1e18: Pull complete Digest: sha256:7054d8a46152338971700614b854690c8ce1a3d6024d9e66b018a8e73119aa3f Status: Downloaded newer image for ocaml/opam@sha256:7054d8a46152338971700614b854690c8ce1a3d6024d9e66b018a8e73119aa3f 2022-03-03 17:32.12 ---> using "373f9b631d075c18f7442f5ab0fc65a1fd416e45c4bad373f7db673d6cf80f59" from cache /: (user (uid 1000) (gid 1000)) /: (env OPAMPRECISETRACKING 1) /: (env OPAMUTF8 never) /: (env OPAMEXTERNALSOLVER builtin-0install) /: (env OPAMCRITERIA +removed) /: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam")) 2022-03-03 17:32.12 ---> using "88849b7b49c5c9e5ea88c51a2386f85dc9692b3cbbbdfa071a4b6fb51a141dbe" from cache /: (run (network host) (shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q 892f7bcbcb6c1fd05911ac75d53aa8c9f717b4b0")) 2022-03-03 17:32.12 ---> using "404c235885055cd745b552882486f8b810a0b774621d6103597df8eba1715fda" from cache /: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository")) Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults. Checking for available remotes: rsync and local, git. - you won't be able to use mercurial repositories unless you install the hg command on your system. - you won't be able to use darcs repositories unless you install the darcs command on your system. <><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><> [default] Initialised User configuration: [NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc. ~/.profile is already up-to-date. 2022-03-03 17:32.12 ---> using "0af54149d5e87a921b7dadf447f75ea502ca8353b2aa045688bdf344893d2879" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam switch create --repositories=default '4.14' '4.14.0+trunk'")) <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><> Switch invariant: ["ocaml-variants" {= "4.14.0+trunk"}] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed base-bigarray.base -> installed base-threads.base -> installed base-unix.base -> retrieved ocaml-variants.4.14.0+trunk (https://github.com/ocaml/ocaml/archive/4.14.tar.gz) -> installed ocaml-variants.4.14.0+trunk -> installed ocaml-config.2 -> installed ocaml.4.14.0 Done. # Run eval $(opam env --switch=4.14) to update the current shell environment 2022-03-03 17:32.12 ---> using "547d87fcaee7775ec5f2ce667e9aabba9919f071cd5e7a26e0b201db4f197092" from cache /: (run (network host) (shell "opam update --depexts")) + /usr/bin/sudo "apt-get" "update" - Get:1 http://deb.debian.org/debian unstable InRelease [165 kB] - Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB] - Ign:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index - Get:3 http://deb.debian.org/debian unstable/main amd64 Packages [9010 kB] - Fetched 9239 kB in 3s (3174 kB/s) - Reading package lists... - 2022-03-03 17:32.12 ---> using "4dc1379ed59cb6c8925b8050bb2ae6dcacae333c824bba699067eab9d7729ef2" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "\ \nopam remove -y \"coq-shell.1\"\ \nopam install -vy \"coq-shell.1\"\ \nres=$?\ \nif [ $res = 31 ]; then\ \n if opam show -f x-ci-accept-failures: \"coq-shell.1\" | grep -q '\"debian-unstable\"'; then\ \n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\ \n exit 69\ \n fi\ \nfi\ \n\ \n\ \nexit $res\ \n")) [NOTE] coq-shell.1 is not installed. Nothing to do. The following actions will be performed: - install coq-shell 1 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/3: -> retrieved coq-shell.1 (cached) Processing 3/3: [coq-shell: make install] + /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" "PREFIX=/home/opam/.opam/4.14" (CWD=/home/opam/.opam/4.14/.opam-switch/build/coq-shell.1) - cp src/opam-coq /home/opam/.opam/4.14/bin/ -> installed coq-shell.1 Done. # Run eval $(opam env) to update the current shell environment 2022-03-03 17:32.33 ---> saved as "726fb9e424edd73940a48f0d71c6b25c8923b8ffee5a7099f5c234f643c4b114" Job succeeded