Building on m1-b.ocamllabs.io (from ocaml/opam:debian-unstable@sha256:3c6053e1ff41a0773832cbf945e4f068e4e3ef832ab704d43d822ae40f0cfb55) Unable to find image 'ocaml/opam:debian-unstable@sha256:3c6053e1ff41a0773832cbf945e4f068e4e3ef832ab704d43d822ae40f0cfb55' locally docker.io/ocaml/opam@sha256:3c6053e1ff41a0773832cbf945e4f068e4e3ef832ab704d43d822ae40f0cfb55: Pulling from ocaml/opam efa9f7f1546f: Pulling fs layer efa9f7f1546f: Verifying Checksum efa9f7f1546f: Download complete efa9f7f1546f: Pull complete Digest: sha256:3c6053e1ff41a0773832cbf945e4f068e4e3ef832ab704d43d822ae40f0cfb55 Status: Downloaded newer image for ocaml/opam@sha256:3c6053e1ff41a0773832cbf945e4f068e4e3ef832ab704d43d822ae40f0cfb55 2022-08-12 06:05.35 ---> using "6347096d99ad883c63df360476202f6c10a9b84f0c879a3dccb844b30d60fe11" 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-08-12 06:05.35 ---> using "c6ee73a09a36014a133f67b1c792ebfc98d592f9ac4b0c06ef235f337338446b" 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 3927b22abaf68fd9cf6a7363519eb86f7c8f7040")) 2022-08-12 06:05.35 ---> using "25caf0f628f396b1d7cfc476619d619474ad6a17a63f10edb79d834925eb4cb4" 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: ~/.profile is already up-to-date. [NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc. 2022-08-12 06:05.35 ---> using "858e8363bc2636890ce2bc35e668dd525710ddbde5603aef4d2eba13d90750c1" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam switch create --repositories=default '4.13' '4.13.1'")) <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><> Switch invariant: ["ocaml-base-compiler" {= "4.13.1"} | "ocaml-system" {= "4.13.1"}] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed base-bigarray.base -> installed base-threads.base -> installed base-unix.base -> installed ocaml-options-vanilla.1 -> retrieved ocaml-base-compiler.4.13.1 (cached) -> installed ocaml-base-compiler.4.13.1 -> installed ocaml-config.2 -> installed ocaml.4.13.1 Done. # Run eval $(opam env --switch=4.13) to update the current shell environment 2022-08-12 06:05.35 ---> using "62e636655f6e11f530c0f3921a8a9c2d9fbda4b1d53e825ed5e402683c8e1ada" from cache /: (run (network host) (shell "opam update --depexts")) + /usr/bin/sudo "apt-get" "update" - Get:1 http://deb.debian.org/debian unstable InRelease [192 kB] - Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB] - Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2022-08-11-1420.48-F-2022-08-08-1407.15.pdiff [191 kB] - Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2022-08-11-1420.48-F-2022-08-08-1407.15.pdiff [191 kB] - Fetched 446 kB in 3s (177 kB/s) - Reading package lists... - 2022-08-12 06:05.35 ---> using "cdd04cc982c65d51b6cee149fb050d0405b88baacee6016a987d502545daf3d9" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "\ \nopam remove -y \"fiat-p256.0.2.1\"\ \nopam install -vy \"fiat-p256.0.2.1\"\ \nres=$?\ \nif [ $res = 31 ]; then\ \n if opam show -f x-ci-accept-failures: \"fiat-p256.0.2.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] fiat-p256.0.2.1 is not installed. Nothing to do. The following actions will be performed: === install 8 packages - install bigarray-compat 1.1.0 [required by fiat-p256] - install csexp 1.5.1 [required by dune-configurator] - install cstruct 6.0.1 [required by fiat-p256] - install dune 3.4.1 [required by fiat-p256] - install dune-configurator 3.4.1 [required by fiat-p256] - install eqaf 0.9 [required by fiat-p256] - install fiat-p256 0.2.1 - install hex 1.5.0 [required by fiat-p256] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/23: Processing 2/23: Processing 3/23: -> retrieved bigarray-compat.1.1.0 (cached) Processing 4/23: -> retrieved csexp.1.5.1 (cached) Processing 5/23: -> retrieved eqaf.0.9 (cached) Processing 6/23: -> retrieved cstruct.6.0.1 (cached) Processing 7/23: -> retrieved fiat-p256.0.2.1 (cached) -> retrieved hex.1.5.0 (cached) -> retrieved dune.3.4.1, dune-configurator.3.4.1 (cached) Processing 8/23: [dune: ocaml bootstrap.ml] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "bootstrap.ml" "-j" "47" (CWD=/home/opam/.opam/4.13/.opam-switch/build/dune.3.4.1) - ocamlc -output-complete-exe -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml - ./.duneboot.exe -j 47 - Processing 8/23: [dune: ./dune.exe build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./dune.exe" "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "47" (CWD=/home/opam/.opam/4.13/.opam-switch/build/dune.3.4.1) -> compiled dune.3.4.1 -> installed dune.3.4.1 Processing 10/23: [bigarray-compat: dune build] Processing 11/23: [bigarray-compat: dune build] [csexp: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "csexp" "-j" "47" "@install" (CWD=/home/opam/.opam/4.13/.opam-switch/build/csexp.1.5.1) -> compiled csexp.1.5.1 Processing 11/23: [bigarray-compat: dune build] -> installed csexp.1.5.1 Processing 12/23: [bigarray-compat: dune build] Processing 13/23: [bigarray-compat: dune build] [dune-configurator: rm] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "bigarray-compat" "-j" "47" (CWD=/home/opam/.opam/4.13/.opam-switch/build/bigarray-compat.1.1.0) -> compiled bigarray-compat.1.1.0 Processing 13/23: [dune-configurator: rm] -> installed bigarray-compat.1.1.0 Processing 14/23: [dune-configurator: rm] Processing 15/23: [cstruct: dune build] [dune-configurator: rm] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "rm" "-rf" "vendor/csexp" (CWD=/home/opam/.opam/4.13/.opam-switch/build/dune-configurator.3.4.1) + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "rm" "-rf" "vendor/pp" (CWD=/home/opam/.opam/4.13/.opam-switch/build/dune-configurator.3.4.1) Processing 15/23: [cstruct: dune build] [dune-configurator: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "cstruct" "-j" "47" (CWD=/home/opam/.opam/4.13/.opam-switch/build/cstruct.6.0.1) -> compiled cstruct.6.0.1 Processing 15/23: [dune-configurator: dune build] -> installed cstruct.6.0.1 Processing 16/23: [dune-configurator: dune build] Processing 17/23: [dune-configurator: dune build] [eqaf: dune build] Processing 18/23: [dune-configurator: dune build] [eqaf: dune build] [hex: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "hex" "-j" "47" (CWD=/home/opam/.opam/4.13/.opam-switch/build/hex.1.5.0) -> compiled hex.1.5.0 Processing 18/23: [dune-configurator: dune build] [eqaf: dune build] -> installed hex.1.5.0 Processing 19/23: [dune-configurator: dune build] [eqaf: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "eqaf" "-j" "47" (CWD=/home/opam/.opam/4.13/.opam-switch/build/eqaf.0.9) -> compiled eqaf.0.9 Processing 19/23: [dune-configurator: dune build] -> installed eqaf.0.9 Processing 20/23: [dune-configurator: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "dune-configurator" "-j" "47" "@install" (CWD=/home/opam/.opam/4.13/.opam-switch/build/dune-configurator.3.4.1) -> compiled dune-configurator.3.4.1 -> installed dune-configurator.3.4.1 Processing 22/23: [fiat-p256: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "fiat-p256" "-j" "47" (CWD=/home/opam/.opam/4.13/.opam-switch/build/fiat-p256.0.2.1) - (cd _build/default && /home/opam/.opam/4.13/bin/ocamlc.opt -w -40 -g -bin-annot -I p256/.fiat_p256.objs/byte -I /home/opam/.opam/4.13/lib/bigarray-compat -I /home/opam/.opam/4.13/lib/cstruct -I /home/opam/.opam/4.13/lib/eqaf -I /home/opam/.opam/4.13/lib/eqaf/bigstring -I /home/opam/.opam/4.13/lib/eqaf/cstruct -I /home/opam/.opam/4.13/lib/hex -intf-suffix .ml -no-alias-deps -open Fiat_p256__ -o p256/.fiat_p256.objs/byte/fiat_p256__Field_element.cmo -c -impl p256/field_element.ml) - File "p256/field_element.ml", line 25, characters 10-21: - 25 | assert (Cstruct.len cs = 32); - ^^^^^^^^^^^ - Alert deprecated: Cstruct.len - len is deprecated, you should use length instead. - (cd _build/default && /home/opam/.opam/4.13/bin/ocamlc.opt -w -40 -g -bin-annot -I p256/.fiat_p256.objs/byte -I /home/opam/.opam/4.13/lib/bigarray-compat -I /home/opam/.opam/4.13/lib/cstruct -I /home/opam/.opam/4.13/lib/eqaf -I /home/opam/.opam/4.13/lib/eqaf/bigstring -I /home/opam/.opam/4.13/lib/eqaf/cstruct -I /home/opam/.opam/4.13/lib/hex -intf-suffix .ml -no-alias-deps -open Fiat_p256__ -o p256/.fiat_p256.objs/byte/fiat_p256__Point.cmo -c -impl p256/point.ml) - File "p256/point.ml", line 52, characters 5-16: - 52 | if Cstruct.len cs = 0 then None else Some (Cstruct.get_uint8 cs 0) - ^^^^^^^^^^^ - Alert deprecated: Cstruct.len - len is deprecated, you should use length instead. - File "p256/point.ml", line 55, characters 24-35: - 55 | match (first_byte cs, Cstruct.len cs) with - ^^^^^^^^^^^ - Alert deprecated: Cstruct.len - len is deprecated, you should use length instead. - (cd _build/default && /home/opam/.opam/4.13/bin/ocamlopt.opt -w -40 -g -I p256/.fiat_p256.objs/byte -I p256/.fiat_p256.objs/native -I /home/opam/.opam/4.13/lib/bigarray-compat -I /home/opam/.opam/4.13/lib/cstruct -I /home/opam/.opam/4.13/lib/eqaf -I /home/opam/.opam/4.13/lib/eqaf/bigstring -I /home/opam/.opam/4.13/lib/eqaf/cstruct -I /home/opam/.opam/4.13/lib/hex -intf-suffix .ml -no-alias-deps -open Fiat_p256__ -o p256/.fiat_p256.objs/native/fiat_p256__Field_element.cmx -c -impl p256/field_element.ml) - File "p256/field_element.ml", line 25, characters 10-21: - 25 | assert (Cstruct.len cs = 32); - ^^^^^^^^^^^ - Alert deprecated: Cstruct.len - len is deprecated, you should use length instead. - (cd _build/default && /home/opam/.opam/4.13/bin/ocamlopt.opt -w -40 -g -I p256/.fiat_p256.objs/byte -I p256/.fiat_p256.objs/native -I /home/opam/.opam/4.13/lib/bigarray-compat -I /home/opam/.opam/4.13/lib/cstruct -I /home/opam/.opam/4.13/lib/eqaf -I /home/opam/.opam/4.13/lib/eqaf/bigstring -I /home/opam/.opam/4.13/lib/eqaf/cstruct -I /home/opam/.opam/4.13/lib/hex -intf-suffix .ml -no-alias-deps -open Fiat_p256__ -o p256/.fiat_p256.objs/native/fiat_p256__Point.cmx -c -impl p256/point.ml) - File "p256/point.ml", line 52, characters 5-16: - 52 | if Cstruct.len cs = 0 then None else Some (Cstruct.get_uint8 cs 0) - ^^^^^^^^^^^ - Alert deprecated: Cstruct.len - len is deprecated, you should use length instead. - File "p256/point.ml", line 55, characters 24-35: - 55 | match (first_byte cs, Cstruct.len cs) with - ^^^^^^^^^^^ - Alert deprecated: Cstruct.len - len is deprecated, you should use length instead. -> compiled fiat-p256.0.2.1 -> installed fiat-p256.0.2.1 Done. # Run eval $(opam env) to update the current shell environment 2022-08-12 06:06.06 ---> saved as "f6341649824218125d03937bc4593b38b04f61bbd5d4e99749eb4cccd149e519" Job succeeded