Build:
  1. 0
2024-02-11 20:23.53: New job: test tezos-hacl.16.1 with conf-pkg-config.1.1, using opam dev
                              from https://github.com/ocaml/opam-repository.git#refs/pull/25235/head (8c7391d6ec81e93f24de221eb32a886b72d1ede6)
                              on debian-12-ocaml-5.1/amd64

To reproduce locally:

cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/25235/head" && git reset --hard 8c7391d6
git fetch origin master
git merge --no-edit 8477e9a74beb40d85534ab7653b65d45607a147f
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-5.1@sha256:931805f2c2fdb0b5642ae8463ff0780c2ee3f4afb48734a7d94e2d5163429930
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-dev /usr/bin/opam
RUN opam init --reinit -ni
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
ENV OPAMSOLVERTIMEOUT="500"
ENV OPAMPRECISETRACKING="1"
ENV CI="true"
ENV OPAM_REPO_CI="true"
RUN rm -rf opam-repository/
COPY --chown=1000:1000 . opam-repository/
RUN opam repository set-url --strict default opam-repository/
RUN opam update --depexts || true
ENV OPAMCRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
ENV OPAMFIXUPCRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
ENV OPAMUPGRADECRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
RUN opam pin add -k version -yn conf-pkg-config.1.1 1.1
RUN opam reinstall conf-pkg-config.1.1; \
    res=$?; \
    test "$res" != 31 && exit "$res"; \
    export OPAMCLI=2.0; \
    build_dir=$(opam var prefix)/.opam-switch/build; \
    failed=$(ls "$build_dir"); \
    partial_fails=""; \
    for pkg in $failed; do \
    if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-12\""; then \
    echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
    fi; \
    test "$pkg" != 'conf-pkg-config.1.1' && partial_fails="$partial_fails $pkg"; \
    done; \
    test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
    exit 1
ENV OPAMCRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
ENV OPAMFIXUPCRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
ENV OPAMUPGRADECRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
RUN opam reinstall tezos-hacl.16.1; \
    res=$?; \
    test "$res" != 31 && exit "$res"; \
    export OPAMCLI=2.0; \
    build_dir=$(opam var prefix)/.opam-switch/build; \
    failed=$(ls "$build_dir"); \
    partial_fails=""; \
    for pkg in $failed; do \
    if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-12\""; then \
    echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
    fi; \
    test "$pkg" != 'tezos-hacl.16.1' && partial_fails="$partial_fails $pkg"; \
    done; \
    test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
    exit 1
ENV OPAMCRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
ENV OPAMFIXUPCRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
ENV OPAMUPGRADECRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
RUN (opam reinstall --with-test tezos-hacl.16.1) || true
RUN opam reinstall --with-test --verbose tezos-hacl.16.1; \
    res=$?; \
    test "$res" != 31 && exit "$res"; \
    export OPAMCLI=2.0; \
    build_dir=$(opam var prefix)/.opam-switch/build; \
    failed=$(ls "$build_dir"); \
    partial_fails=""; \
    for pkg in $failed; do \
    if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-12\""; then \
    echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
    fi; \
    test "$pkg" != 'tezos-hacl.16.1' && partial_fails="$partial_fails $pkg"; \
    done; \
    test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
    exit 1

END-OF-DOCKERFILE
docker build -f ../Dockerfile .

2024-02-11 20:23.53: Using cache hint "ocaml/opam:debian-12-ocaml-5.1@sha256:931805f2c2fdb0b5642ae8463ff0780c2ee3f4afb48734a7d94e2d5163429930-conf-pkg-config.1.1-tezos-hacl.16.1-8c7391d6ec81e93f24de221eb32a886b72d1ede6"
2024-02-11 20:23.53: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-5.1@sha256:931805f2c2fdb0b5642ae8463ff0780c2ee3f4afb48734a7d94e2d5163429930)
 (user (uid 1000) (gid 1000))
 (workdir /home/opam)
 (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
 (run (network host)
      (shell "opam init --reinit --config .opamrc-sandbox -ni"))
 (env OPAMDOWNLOADJOBS 1)
 (env OPAMERRLOGLEN 0)
 (env OPAMSOLVERTIMEOUT 500)
 (env OPAMPRECISETRACKING 1)
 (env CI true)
 (env OPAM_REPO_CI true)
 (run (shell "rm -rf opam-repository/"))
 (copy (src .) (dst opam-repository/))
 (run (shell "opam repository set-url --strict default opam-repository/"))
 (run (network host)
      (shell "opam update --depexts || true"))
 (env OPAMCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (env OPAMFIXUPCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (env OPAMUPGRADECRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (run (shell "opam pin add -k version -yn conf-pkg-config.1.1 1.1"))
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell  "opam reinstall conf-pkg-config.1.1;\
             \n        res=$?;\
             \n        test \"$res\" != 31 && exit \"$res\";\
             \n        export OPAMCLI=2.0;\
             \n        build_dir=$(opam var prefix)/.opam-switch/build;\
             \n        failed=$(ls \"$build_dir\");\
             \n        partial_fails=\"\";\
             \n        for pkg in $failed; do\
             \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
             \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
             \n          fi;\
             \n          test \"$pkg\" != 'conf-pkg-config.1.1' && partial_fails=\"$partial_fails $pkg\";\
             \n        done;\
             \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
             \n        exit 1"))
 (env OPAMCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (env OPAMFIXUPCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (env OPAMUPGRADECRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell  "opam reinstall tezos-hacl.16.1;\
             \n        res=$?;\
             \n        test \"$res\" != 31 && exit \"$res\";\
             \n        export OPAMCLI=2.0;\
             \n        build_dir=$(opam var prefix)/.opam-switch/build;\
             \n        failed=$(ls \"$build_dir\");\
             \n        partial_fails=\"\";\
             \n        for pkg in $failed; do\
             \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
             \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
             \n          fi;\
             \n          test \"$pkg\" != 'tezos-hacl.16.1' && partial_fails=\"$partial_fails $pkg\";\
             \n        done;\
             \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
             \n        exit 1"))
 (env OPAMCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (env OPAMFIXUPCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (env OPAMUPGRADECRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)
 (run (network host)
      (shell "(opam reinstall --with-test tezos-hacl.16.1) || true"))
 (run (shell  "opam reinstall --with-test --verbose tezos-hacl.16.1;\
             \n        res=$?;\
             \n        test \"$res\" != 31 && exit \"$res\";\
             \n        export OPAMCLI=2.0;\
             \n        build_dir=$(opam var prefix)/.opam-switch/build;\
             \n        failed=$(ls \"$build_dir\");\
             \n        partial_fails=\"\";\
             \n        for pkg in $failed; do\
             \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
             \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
             \n          fi;\
             \n          test \"$pkg\" != 'tezos-hacl.16.1' && partial_fails=\"$partial_fails $pkg\";\
             \n        done;\
             \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
             \n        exit 1"))
)

2024-02-11 20:23.53: Waiting for resource in pool OCluster
2024-02-12 19:49.30: Waiting for worker…
2024-02-12 20:00.51: Got resource from pool OCluster
Building on iphito.caelum.ci.dev
All commits already cached
HEAD is now at 8477e9a74b Merge pull request #25221 from nberth/mlgmpidl-1.3.0
Updating 8477e9a74b..8c7391d6ec
Fast-forward
 packages/conf-pkg-config/conf-pkg-config.1.0/opam | 2 +-
 packages/conf-pkg-config/conf-pkg-config.1.1/opam | 1 +
 packages/conf-pkg-config/conf-pkg-config.1.2/opam | 1 +
 packages/conf-pkg-config/conf-pkg-config.1.3/opam | 1 +
 packages/conf-pkg-config/conf-pkg-config.2/opam   | 1 +
 packages/conf-pkg-config/conf-pkg-config.3/opam   | 4 +++-
 6 files changed, 8 insertions(+), 2 deletions(-)

(from ocaml/opam:debian-12-ocaml-5.1@sha256:931805f2c2fdb0b5642ae8463ff0780c2ee3f4afb48734a7d94e2d5163429930)
2024-02-12 20:00.54 ---> using "4df7ce52b8e0afe130cbfff7d9b001e43cae58bd8e8710cd073ce7c11b1c6ac8" from cache

/: (user (uid 1000) (gid 1000))

/: (workdir /home/opam)

/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2024-02-12 20:00.54 ---> using "2ee14a5dbb7aa54ab1dfa5adba4422c5a5483941525d4174e8eeed0c4c5e97aa" from cache

/home/opam: (run (network host)
                 (shell "opam init --reinit --config .opamrc-sandbox -ni"))
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.

This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2~alpha, which can't be reverted.
You may want to back it up before going further.

Continue? [y/n] y
[NOTE] The 'jobs' option was reset, its value was 71 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using:
           opam option jobs=71 --global
Format upgrade done.

<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
2024-02-12 20:00.54 ---> using "d58131e4d084860f74dbebecfc9a35ebb7fbb42cf58093b5ac6cf0adf11ed898" from cache

/home/opam: (env OPAMDOWNLOADJOBS 1)

/home/opam: (env OPAMERRLOGLEN 0)

/home/opam: (env OPAMSOLVERTIMEOUT 500)

/home/opam: (env OPAMPRECISETRACKING 1)

/home/opam: (env CI true)

/home/opam: (env OPAM_REPO_CI true)

/home/opam: (run (shell "rm -rf opam-repository/"))
2024-02-12 20:00.54 ---> using "e76676ee91f5598b65d18de047738848e5af056a75e3436903dc82ff5702c5a6" from cache

/home/opam: (copy (src .) (dst opam-repository/))
2024-02-12 20:00.55 ---> using "00dcf922e87fec2f8ccdd0b44355d41faed143c596db4bfe8812d0e9c5f33f02" from cache

/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2024-02-12 20:00.55 ---> using "d6c8604b98b9d01914259989eafdfad7780b6c9f761a469dfe3162a56ba73510" from cache

/home/opam: (run (network host)
                 (shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian bookworm InRelease [151 kB]
- Get:2 http://deb.debian.org/debian bookworm-updates InRelease [52.1 kB]
- Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB]
- Get:4 http://deb.debian.org/debian bookworm/main amd64 Packages [8786 kB]
- Get:5 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [137 kB]
- Fetched 9175 kB in 1s (7146 kB/s)
- Reading package lists...
2024-02-12 20:00.55 ---> using "6245d7929b862e6b37f451133c05d21883283d0248743f67197f2e424fe52d69" from cache

/home/opam: (env OPAMCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (env OPAMFIXUPCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (env OPAMUPGRADECRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (run (shell "opam pin add -k version -yn conf-pkg-config.1.1 1.1"))
conf-pkg-config is now pinned to version 1.1
2024-02-12 20:00.55 ---> using "efd69474de39398f08b803f28b1c0635d272139b0c33f4b0a322013c52989663" from cache

/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
                 (network host)
                 (shell  "opam reinstall conf-pkg-config.1.1;\
                        \n        res=$?;\
                        \n        test \"$res\" != 31 && exit \"$res\";\
                        \n        export OPAMCLI=2.0;\
                        \n        build_dir=$(opam var prefix)/.opam-switch/build;\
                        \n        failed=$(ls \"$build_dir\");\
                        \n        partial_fails=\"\";\
                        \n        for pkg in $failed; do\
                        \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
                        \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
                        \n          fi;\
                        \n          test \"$pkg\" != 'conf-pkg-config.1.1' && partial_fails=\"$partial_fails $pkg\";\
                        \n        done;\
                        \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
                        \n        exit 1"))
conf-pkg-config.1.1 is not installed. Install it? [y/n] y
The following actions will be performed:
=== install 1 package
  - install conf-pkg-config 1.1 (pinned)

The following system packages will first need to be installed:
    pkg-config

<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>

opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
  2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
  3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
  4. Abort the installation

[1/2/3/4] 1

+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "pkg-config"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libpkgconf3:amd64.
- (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 18774 files and directories currently installed.)
- Preparing to unpack .../libpkgconf3_1.8.1-1_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-1) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../pkgconf-bin_1.8.1-1_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-1) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../pkgconf_1.8.1-1_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-1) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../pkg-config_1.8.1-1_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-1) ...
- Setting up libpkgconf3:amd64 (1.8.1-1) ...
- Setting up pkgconf-bin (1.8.1-1) ...
- Setting up pkgconf:amd64 (1.8.1-1) ...
- Setting up pkg-config:amd64 (1.8.1-1) ...
- Processing triggers for libc-bin (2.36-9+deb12u4) ...

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed conf-pkg-config.1.1
Done.
# Run eval $(opam env) to update the current shell environment
2024-02-12 20:00.55 ---> using "0686843ae3c31f38ac5563a3bcd57d9eed648c8dbf66daffdc86057dfb09ccb3" from cache

/home/opam: (env OPAMCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (env OPAMFIXUPCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (env OPAMUPGRADECRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
                 (network host)
                 (shell  "opam reinstall tezos-hacl.16.1;\
                        \n        res=$?;\
                        \n        test \"$res\" != 31 && exit \"$res\";\
                        \n        export OPAMCLI=2.0;\
                        \n        build_dir=$(opam var prefix)/.opam-switch/build;\
                        \n        failed=$(ls \"$build_dir\");\
                        \n        partial_fails=\"\";\
                        \n        for pkg in $failed; do\
                        \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
                        \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
                        \n          fi;\
                        \n          test \"$pkg\" != 'tezos-hacl.16.1' && partial_fails=\"$partial_fails $pkg\";\
                        \n        done;\
                        \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
                        \n        exit 1"))
tezos-hacl.16.1 is not installed. Install it? [y/n] y
The following actions will be performed:
=== install 40 packages
  - install bigarray-compat      1.1.0    [required by ctypes]
  - install cmdliner             1.2.0    [required by uutf]
  - install conf-cmake           1        [required by hacl-star-raw]
  - install conf-gmp             4        [required by zarith]
  - install conf-which           1        [required by hacl-star-raw]
  - install cppo                 1.6.9    [required by hacl-star]
  - install cstruct              6.2.0    [required by hex]
  - install ctypes               0.20.2   [required by tezos-hacl]
  - install ctypes_stubs_js      0.1      [required by tezos-hacl]
  - install dune                 3.10.0   [required by tezos-hacl]
  - install ezjsonm              1.3.0    [required by tezos-hacl]
  - install fmt                  0.9.0    [required by cstruct]
  - install gen                  1.1      [required by sedlex]
  - install hacl-star            0.6.2    [required by tezos-hacl]
  - install hacl-star-raw        0.6.2    [required by tezos-hacl]
  - install hex                  1.5.0    [required by ezjsonm]
  - install integers             0.7.0    [required by ctypes]
  - install integers_stubs_js    1.0      [required by ctypes_stubs_js]
  - install js_of_ocaml          5.6.0    [required by integers_stubs_js]
  - install js_of_ocaml-compiler 5.6.0    [required by js_of_ocaml]
  - install jsonm                1.0.2    [required by ezjsonm]
  - install menhir               20231231 [required by js_of_ocaml-compiler]
  - install menhirCST            20231231 [required by menhir]
  - install menhirLib            20231231 [required by js_of_ocaml-compiler]
  - install menhirSdk            20231231 [required by js_of_ocaml-compiler]
  - install ocaml-compiler-libs  v0.12.4  [required by ppxlib]
  - install ocamlbuild           0.14.3   [required by jsonm]
  - install ocamlfind            1.9.6    [required by ctypes]
  - install ppx_derivers         1.2.1    [required by ppxlib]
  - install ppxlib               0.32.0   [required by js_of_ocaml]
  - install sedlex               3.2      [required by js_of_ocaml-compiler]
  - install seq                  base     [required by yojson]
  - install sexplib0             v0.16.0  [required by ezjsonm]
  - install stdlib-shims         0.3.0    [required by integers]
  - install tezos-hacl           16.1
  - install topkg                1.0.7    [required by jsonm]
  - install uutf                 1.0.3    [required by ezjsonm]
  - install yojson               2.1.2    [required by js_of_ocaml-compiler]
  - install zarith               1.13     [required by hacl-star]
  - install zarith_stubs_js      v0.16.1  [required by integers_stubs_js]

The following system packages will first need to be installed:
    cmake libgmp-dev

<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>

opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
  2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
  3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
  4. Abort the installation

[1/2/3/4] 1

+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "cmake" "libgmp-dev"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libicu72:amd64.
- (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 18810 files and directories currently installed.)
- Preparing to unpack .../0-libicu72_72.1-3_amd64.deb ...
- Unpacking libicu72:amd64 (72.1-3) ...
- Selecting previously unselected package libxml2:amd64.
- Preparing to unpack .../1-libxml2_2.9.14+dfsg-1.3~deb12u1_amd64.deb ...
- Unpacking libxml2:amd64 (2.9.14+dfsg-1.3~deb12u1) ...
- Selecting previously unselected package libarchive13:amd64.
- Preparing to unpack .../2-libarchive13_3.6.2-1_amd64.deb ...
- Unpacking libarchive13:amd64 (3.6.2-1) ...
- Selecting previously unselected package libjsoncpp25:amd64.
- Preparing to unpack .../3-libjsoncpp25_1.9.5-4_amd64.deb ...
- Unpacking libjsoncpp25:amd64 (1.9.5-4) ...
- Selecting previously unselected package librhash0:amd64.
- Preparing to unpack .../4-librhash0_1.4.3-3_amd64.deb ...
- Unpacking librhash0:amd64 (1.4.3-3) ...
- Selecting previously unselected package libuv1:amd64.
- Preparing to unpack .../5-libuv1_1.44.2-1_amd64.deb ...
- Unpacking libuv1:amd64 (1.44.2-1) ...
- Selecting previously unselected package cmake-data.
- Preparing to unpack .../6-cmake-data_3.25.1-1_all.deb ...
- Unpacking cmake-data (3.25.1-1) ...
- Selecting previously unselected package cmake.
- Preparing to unpack .../7-cmake_3.25.1-1_amd64.deb ...
- Unpacking cmake (3.25.1-1) ...
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- Preparing to unpack .../8-libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../9-libgmp-dev_2%3a6.2.1+dfsg1-1.1_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up libicu72:amd64 (72.1-3) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up libuv1:amd64 (1.44.2-1) ...
- Setting up libjsoncpp25:amd64 (1.9.5-4) ...
- Setting up librhash0:amd64 (1.4.3-3) ...
- Setting up cmake-data (3.25.1-1) ...
- Setting up libxml2:amd64 (2.9.14+dfsg-1.3~deb12u1) ...
- Setting up libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up libarchive13:amd64 (3.6.2-1) ...
- Setting up cmake (3.25.1-1) ...
- Processing triggers for libc-bin (2.36-9+deb12u4) ...

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved bigarray-compat.1.1.0  (cached)
-> retrieved cmdliner.1.2.0  (cached)
-> retrieved cppo.1.6.9  (cached)
-> installed conf-cmake.1
-> installed conf-which.1
-> retrieved cstruct.6.2.0  (cached)
-> installed conf-gmp.4
-> retrieved ctypes.0.20.2  (cached)
-> retrieved ctypes_stubs_js.0.1  (cached)
-> retrieved dune.3.10.0  (cached)
-> retrieved ezjsonm.1.3.0  (cached)
-> retrieved fmt.0.9.0  (cached)
-> retrieved gen.1.1  (cached)
-> retrieved hacl-star.0.6.2, hacl-star-raw.0.6.2  (cached)
-> retrieved hex.1.5.0  (cached)
-> retrieved integers.0.7.0  (cached)
-> retrieved integers_stubs_js.1.0  (cached)
-> installed cmdliner.1.2.0
-> retrieved js_of_ocaml.5.6.0, js_of_ocaml-compiler.5.6.0  (cached)
-> retrieved jsonm.1.0.2  (cached)
-> retrieved menhir.20231231, menhirCST.20231231, menhirLib.20231231, menhirSdk.20231231  (cached)
-> retrieved ocaml-compiler-libs.v0.12.4  (cached)
-> retrieved ocamlbuild.0.14.3  (cached)
-> retrieved ocamlfind.1.9.6  (cached)
-> retrieved ppx_derivers.1.2.1  (cached)
-> retrieved ppxlib.0.32.0  (cached)
-> retrieved sedlex.3.2  (cached)
-> installed seq.base
-> retrieved sexplib0.v0.16.0  (cached)
-> retrieved stdlib-shims.0.3.0  (cached)
-> retrieved tezos-hacl.16.1  (cached)
-> retrieved topkg.1.0.7  (cached)
-> retrieved uutf.1.0.3  (cached)
-> retrieved yojson.2.1.2  (cached)
-> retrieved zarith.1.13  (cached)
-> retrieved zarith_stubs_js.v0.16.1  (cached)
-> installed ocamlfind.1.9.6
-> installed ocamlbuild.0.14.3
-> installed zarith.1.13
-> installed topkg.1.0.7
-> installed dune.3.10.0
-> installed fmt.0.9.0
-> installed uutf.1.0.3
-> installed bigarray-compat.1.1.0
-> installed zarith_stubs_js.v0.16.1
-> installed ppx_derivers.1.2.1
-> installed menhirCST.20231231
-> installed stdlib-shims.0.3.0
-> installed menhirSdk.20231231
-> installed cstruct.6.2.0
-> installed gen.1.1
-> installed sexplib0.v0.16.0
-> installed menhirLib.20231231
-> installed integers.0.7.0
-> installed hex.1.5.0
-> installed cppo.1.6.9
-> installed ocaml-compiler-libs.v0.12.4
-> installed jsonm.1.0.2
-> installed ezjsonm.1.3.0
-> installed yojson.2.1.2
-> installed menhir.20231231
-> installed ppxlib.0.32.0
-> installed ctypes.0.20.2
-> installed sedlex.3.2
-> installed js_of_ocaml-compiler.5.6.0
-> installed js_of_ocaml.5.6.0
-> installed integers_stubs_js.1.0
-> installed ctypes_stubs_js.0.1
-> installed hacl-star-raw.0.6.2
-> installed hacl-star.0.6.2
-> installed tezos-hacl.16.1
Done.
# Run eval $(opam env) to update the current shell environment
2024-02-12 20:03.46 ---> saved as "40780fc57e84fa993c713e5817829c08dfb1eaef40602bc9caa17929a4d2987b"

/home/opam: (env OPAMCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (env OPAMFIXUPCRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (env OPAMUPGRADECRITERIA -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed)

/home/opam: (run (network host)
                 (shell "(opam reinstall --with-test tezos-hacl.16.1) || true"))
The following actions will be performed:
=== downgrade 1 package
  - downgrade zarith                  1.13 to 1.12 [required by tezos-hacl]
=== recompile 2 packages
  - recompile hacl-star               0.6.2        [uses zarith]
  - recompile tezos-hacl              16.1
=== install 44 packages
  - install   aches                   1.0.0        [required by tezos-stdlib]
  - install   alcotest                1.7.0        [required by qcheck-alcotest, tezos-test-helpers]
  - install   angstrom                0.16.0       [required by uri]
  - install   astring                 0.8.5        [required by alcotest]
  - install   base                    v0.16.3      [required by ppx_hash]
  - install   base-bytes              base         [required by ocplib-endian]
  - install   bigstringaf             0.9.1        [required by angstrom]
  - install   csexp                   1.5.2        [required by dune-configurator]
  - install   data-encoding           0.7.1        [required by tezos-hacl]
  - install   dune-configurator       3.13.1       [required by lwt]
  - install   either                  1.0.0        [required by data-encoding]
  - install   jane-street-headers     v0.16.0      [required by time_now]
  - install   json-data-encoding      0.12.1       [required by data-encoding]
  - install   json-data-encoding-bson 0.12.1       [required by data-encoding]
  - install   jst-config              v0.16.0      [required by time_now]
  - install   lwt                     5.7.0        [required by tezos-error-monad, tezos-test-helpers]
  - install   lwt-canceler            0.3          [required by tezos-error-monad]
  - install   ocaml-syntax-shims      1.0.0        [required by alcotest]
  - install   ocplib-endian           1.2          [required by json-data-encoding-bson, lwt]
  - install   ppx_assert              v0.16.0      [required by jst-config]
  - install   ppx_base                v0.16.0      [required by time_now]
  - install   ppx_cold                v0.16.0      [required by ppx_base]
  - install   ppx_compare             v0.16.0      [required by ppx_hash]
  - install   ppx_enumerate           v0.16.0      [required by ppx_base]
  - install   ppx_expect              v0.16.0      [required by tezos-stdlib]
  - install   ppx_globalize           v0.16.0      [required by ppx_base]
  - install   ppx_hash                v0.16.0      [required by data-encoding]
  - install   ppx_here                v0.16.0      [required by ppx_expect]
  - install   ppx_inline_test         v0.16.0      [required by ppx_expect]
  - install   ppx_optcomp             v0.16.0      [required by time_now]
  - install   ppx_sexp_conv           v0.16.0      [required by ppx_hash]
  - install   pure-splitmix           0.3          [required by tezos-test-helpers]
  - install   qcheck-alcotest         0.21.3       [required by tezos-hacl]
  - install   qcheck-core             0.21.3       [required by qcheck-alcotest]
  - install   re                      1.11.0       [required by alcotest]
  - install   ringo                   1.0.0        [required by aches]
  - install   stdio                   v0.16.0      [required by ppx_expect]
  - install   stringext               1.6.0        [required by uri]
  - install   tezos-error-monad       16.1         [required by tezos-hacl]
  - install   tezos-lwt-result-stdlib 16.1         [required by tezos-error-monad]
  - install   tezos-stdlib            16.1         [required by tezos-hacl]
  - install   tezos-test-helpers      16.1         [required by tezos-hacl]
  - install   time_now                v0.16.0      [required by ppx_inline_test]
  - install   uri                     4.4.0        [required by tezos-test-helpers]

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved aches.1.0.0, ringo.1.0.0  (https://gitlab.com/nomadic-labs/ringo/-/archive/v1.0.0/ringo-v1.0.0.tar.gz)
-> installed ringo.1.0.0
-> retrieved alcotest.1.7.0  (https://github.com/mirage/alcotest/releases/download/1.7.0/alcotest-1.7.0.tbz)
-> installed aches.1.0.0
-> retrieved angstrom.0.16.0  (https://github.com/inhabitedtype/angstrom/archive/0.16.0.tar.gz)
-> retrieved astring.0.8.5  (https://erratique.ch/software/astring/releases/astring-0.8.5.tbz)
-> retrieved base.v0.16.3  (https://github.com/janestreet/base/archive/refs/tags/v0.16.3.tar.gz)
-> installed base-bytes.base
-> retrieved bigstringaf.0.9.1  (https://github.com/inhabitedtype/bigstringaf/archive/0.9.1.tar.gz)
-> installed astring.0.8.5
-> retrieved csexp.1.5.2  (https://github.com/ocaml-dune/csexp/releases/download/1.5.2/csexp-1.5.2.tbz)
-> installed csexp.1.5.2
-> retrieved data-encoding.0.7.1  (https://gitlab.com/nomadic-labs/data-encoding/-/archive/v0.7.1/data-encoding-v0.7.1.tar.gz)
-> retrieved dune-configurator.3.13.1  (https://github.com/ocaml/dune/releases/download/3.13.1/dune-3.13.1.tbz)
-> retrieved either.1.0.0  (https://github.com/mirage/either/releases/download/1.0.0/either-1.0.0.tbz)
-> installed either.1.0.0
-> retrieved hacl-star.0.6.2  (https://github.com/cryspen/hacl-packages/releases/download/ocaml-v0.6.2/hacl-star.0.6.2.tar.gz)
-> retrieved jane-street-headers.v0.16.0  (https://ocaml.janestreet.com/ocaml-core/v0.16/files/jane-street-headers-v0.16.0.tar.gz)
-> retrieved json-data-encoding.0.12.1, json-data-encoding-bson.0.12.1  (https://gitlab.com/nomadic-labs/json-data-encoding/-/archive/0.12.1/json-data-encoding-0.12.1.tar.gz)
-> installed dune-configurator.3.13.1
-> installed jane-street-headers.v0.16.0
-> retrieved jst-config.v0.16.0  (https://ocaml.janestreet.com/ocaml-core/v0.16/files/jst-config-v0.16.0.tar.gz)
-> installed bigstringaf.0.9.1
-> retrieved lwt.5.7.0  (https://github.com/ocsigen/lwt/archive/refs/tags/5.7.0.tar.gz)
-> retrieved lwt-canceler.0.3  (https://gitlab.com/nomadic-labs/lwt-canceler/-/archive/v0.3/lwt-canceler-v0.3.tar.gz)
-> retrieved ocaml-syntax-shims.1.0.0  (https://github.com/ocaml-ppx/ocaml-syntax-shims/releases/download/1.0.0/ocaml-syntax-shims-1.0.0.tbz)
-> retrieved ocplib-endian.1.2  (https://github.com/OCamlPro/ocplib-endian/archive/refs/tags/1.2.tar.gz)
-> retrieved ppx_assert.v0.16.0  (https://ocaml.janestreet.com/ocaml-core/v0.16/files/ppx_assert-v0.16.0.tar.gz)
-> installed ocaml-syntax-shims.1.0.0
-> installed ocplib-endian.1.2
-> retrieved ppx_base.v0.16.0  (https://ocaml.janestreet.com/ocaml-core/v0.16/files/ppx_base-v0.16.0.tar.gz)
-> installed angstrom.0.16.0
-> retrieved ppx_cold.v0.16.0  (https://ocaml.janestreet.com/ocaml-core/v0.16/files/ppx_cold-v0.16.0.tar.gz)
-> retrieved ppx_compare.v0.16.0  (https://ocaml.janestreet.com/ocaml-core/v0.16/files/ppx_compare-v0.16.0.tar.gz)
-> retrieved ppx_enumerate.v0.16.0  (https://ocaml.janestreet.com/ocaml-core/v0.16/files/ppx_enumerate-v0.16.0.tar.gz)
-> retrieved ppx_expect.v0.16.0  (https://ocaml.janestreet.com/ocaml-core/v0.16/files/ppx_expect-v0.16.0.tar.gz)
-> installed base.v0.16.3
-> retrieved ppx_globalize.v0.16.0  (https://ocaml.janestreet.com/ocaml-core/v0.16/files/ppx_globalize-v0.16.0.tar.gz)
-> installed lwt.5.7.0
-> retrieved ppx_hash.v0.16.0  (https://ocaml.janestreet.com/ocaml-core/v0.16/files/ppx_hash-v0.16.0.tar.gz)
-> installed ppx_globalize.v0.16.0
-> installed lwt-canceler.0.3
-> retrieved ppx_here.v0.16.0  (https://ocaml.janestreet.com/ocaml-core/v0.16/files/ppx_here-v0.16.0.tar.gz)
-> retrieved ppx_inline_test.v0.16.0  (https://ocaml.janestreet.com/ocaml-core/v0.16/files/ppx_inline_test-v0.16.0.tar.gz)
-> installed ppx_cold.v0.16.0
-> installed ppx_enumerate.v0.16.0
-> retrieved ppx_optcomp.v0.16.0  (https://ocaml.janestreet.com/ocaml-core/v0.16/files/ppx_optcomp-v0.16.0.tar.gz)
-> installed ppx_compare.v0.16.0
-> retrieved ppx_sexp_conv.v0.16.0  (https://ocaml.janestreet.com/ocaml-core/v0.16/files/ppx_sexp_conv-v0.16.0.tar.gz)
-> installed ppx_here.v0.16.0
-> retrieved pure-splitmix.0.3  (https://github.com/Lysxia/pure-splitmix/archive/0.3.tar.gz)
-> installed pure-splitmix.0.3
-> retrieved qcheck-alcotest.0.21.3, qcheck-core.0.21.3  (https://github.com/c-cube/qcheck/archive/v0.21.3.tar.gz)
-> retrieved re.1.11.0  (https://github.com/ocaml/ocaml-re/releases/download/1.11.0/re-1.11.0.tbz)
-> retrieved stdio.v0.16.0  (https://ocaml.janestreet.com/ocaml-core/v0.16/files/stdio-v0.16.0.tar.gz)
-> installed ppx_sexp_conv.v0.16.0
-> installed qcheck-core.0.21.3
-> installed stdio.v0.16.0
-> installed re.1.11.0
-> retrieved stringext.1.6.0  (https://github.com/rgrinberg/stringext/releases/download/1.6.0/stringext-1.6.0.tbz)
-> installed stringext.1.6.0
-> installed ppx_optcomp.v0.16.0
-> installed alcotest.1.7.0
-> installed ppx_hash.v0.16.0
-> installed qcheck-alcotest.0.21.3
-> installed ppx_assert.v0.16.0
-> retrieved tezos-error-monad.16.1, tezos-hacl.16.1, tezos-lwt-result-stdlib.16.1, tezos-stdlib.16.1, tezos-test-helpers.16.1  (https://gitlab.com/tezos/tezos/-/archive/v16.1/tezos-16.1.tar.gz)
-> installed ppx_base.v0.16.0
-> installed jst-config.v0.16.0
-> retrieved time_now.v0.16.0  (https://ocaml.janestreet.com/ocaml-core/v0.16/files/time_now-v0.16.0.tar.gz)
-> retrieved uri.4.4.0  (https://github.com/mirage/ocaml-uri/releases/download/v4.4.0/uri-4.4.0.tbz)
-> retrieved zarith.1.12  (https://github.com/ocaml/Zarith/archive/release-1.12.tar.gz)
-> installed time_now.v0.16.0
-> installed tezos-lwt-result-stdlib.16.1
-> installed uri.4.4.0
-> installed json-data-encoding.0.12.1
-> installed json-data-encoding-bson.0.12.1
-> installed ppx_inline_test.v0.16.0
-> removed   tezos-hacl.16.1
-> removed   hacl-star.0.6.2
-> removed   zarith.1.13
-> installed zarith.1.12
-> installed hacl-star.0.6.2
-> installed ppx_expect.v0.16.0
-> installed data-encoding.0.7.1
-> installed tezos-test-helpers.16.1
-> installed tezos-stdlib.16.1
-> installed tezos-error-monad.16.1
-> installed tezos-hacl.16.1
Done.
# Run eval $(opam env) to update the current shell environment
2024-02-12 20:04.55 ---> saved as "ba32e0b0091de64ad104ec221a938c6f725b597c4a958e34028b20bcf5dc67ca"

/home/opam: (run (shell  "opam reinstall --with-test --verbose tezos-hacl.16.1;\
                        \n        res=$?;\
                        \n        test \"$res\" != 31 && exit \"$res\";\
                        \n        export OPAMCLI=2.0;\
                        \n        build_dir=$(opam var prefix)/.opam-switch/build;\
                        \n        failed=$(ls \"$build_dir\");\
                        \n        partial_fails=\"\";\
                        \n        for pkg in $failed; do\
                        \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
                        \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
                        \n          fi;\
                        \n          test \"$pkg\" != 'tezos-hacl.16.1' && partial_fails=\"$partial_fails $pkg\";\
                        \n        done;\
                        \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
                        \n        exit 1"))
The following actions will be performed:
=== recompile 1 package
  - recompile tezos-hacl 16.1

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  1/4:
-> retrieved tezos-hacl.16.1  (cached)
Processing  2/4: [tezos-hacl: rm vendors]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "rm" "-r" "vendors" (CWD=/home/opam/.opam/5.1/.opam-switch/build/tezos-hacl.16.1)
Processing  2/4: [tezos-hacl: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "tezos-hacl" "-j" "255" (CWD=/home/opam/.opam/5.1/.opam-switch/build/tezos-hacl.16.1)
Processing  2/4: [tezos-hacl: dune runtest]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "runtest" "-p" "tezos-hacl" "-j" "255" (CWD=/home/opam/.opam/5.1/.opam-switch/build/tezos-hacl.16.1)
- (cd _build/default/src/lib_hacl/test && ./test.exe)
- STARTING TESTS
- Testing Ed25519
- [Ed25519.keypair] Success
- [Ed25519.neuterize] Success
- [Ed25519.sign] Success
- [Ed25519.verify] Success
- Testing P256
- [P256.keypair] Success
- [P256.neuterize] Success
- [P256.to_bytes] Success
- [P256.blit_to_bytes] Success
- [P256.verify] Success
- Testing Curve25519
- [Curve25519] Success
- Testing SHA2_256
- [SHA2_256.hash] Success
- Testing SHA2_512
- [SHA2_512.hash] Success
- Testing SHA3_256
- [SHA3_256.hash] Success
- Testing SHA3_512
- [SHA3_512.hash] Success
- Testing Keccak
- [SHA3.keccak] Successs
- Testing HMAC_SHA2_256
- [HMAC_SHA2_256.digest] Success
- Testing HMAC_SHA2_512
- [HMAC_SHA2_512.digest] Success
- Testing Blake2b
- [Blake2b.blake2b] Success
- Testing NaCl.Secretbox: Test 1
- [NaCl.secretbox] Success
- [NaCl.secretbox_open] Success
- Testing NaCl.Secretbox: Test 2
- [NaCl.secretbox] Success
- [NaCl.secretbox_open] Success
- Testing NaCl.Box: Test 1
- [NaCl.box_beforenm] Success
- [NaCl.box_easy_afternm] Success
- [NaCl.box_open_easy_afternm] Success
- [NaCl.box_detached_afternm] Success
- [NaCl.box_open_detached_afternm] Success
- Testing NaCl.Box: Test 2
- [NaCl.box_beforenm] Success
- [NaCl.box_easy_afternm] Success
- [NaCl.box_open_easy_afternm] Success
- [NaCl.box_detached_afternm] Success
- [NaCl.box_open_detached_afternm] Success
- ENDING TESTS
- (cd _build/default/src/lib_hacl/test && ./test_prop_signature_pk.exe)
- qcheck random seed: 590153756
- Testing `tezos-crypto-signature-pk'.
- This run has ID `CAGWJB9I'.
- 
-   [OK]          P256_Pros          0   P256_pk_of_bytes.
- 
- Full test results in `~/.opam/5.1/.opam-switch/build/tezos-hacl.16.1/_build/default/src/lib_hacl/test/_build/_tests/tezos-crypto-signature-pk'.
- Test Successful in 0.044s. 1 test run.
- (cd _build/default/src/lib_hacl/test && ./test_hacl.exe)
- Testing `tezos-crypto'.
- This run has ID `ZX4F5XBW'.
- 
-   [OK]          hash               0   hmac_sha256.
-   [OK]          hash               1   hmac_sha512.
-   [OK]          hash               2   sha256.
-   [OK]          hash               3   sha512.
-   [OK]          hash               4   sha3_256.
-   [OK]          hash               5   sha3_512.
-   [OK]          hash               6   keccak_256.
-   [OK]          hash               7   sha256_seq.
-   [OK]          blake2b            0   0.
-   [OK]          blake2b            1   1.
-   [OK]          blake2b            2   2.
-   [OK]          secretbox          0   secretbox.
-   [OK]          box                0   box.
-   [OK]          ed25519            0   keypair.
-   [OK]          ed25519            1   sign.
-   [OK]          ed25519            2   public.
-   [OK]          p256               0   export.
-   [OK]          p256               1   write_key.
-   [OK]          p256               2   keypair.
-   [OK]          p256               3   sign.
-   [OK]          p256               4   test_vectors.
- 
- Full test results in `~/.opam/5.1/.opam-switch/build/tezos-hacl.16.1/_build/default/src/lib_hacl/test/_build/_tests/tezos-crypto'.
- Test Successful in 0.255s. 21 tests run.
- (cd _build/default/src/lib_hacl/test && ./test_prop_hacl_hash.exe)
- qcheck random seed: 810368451
- Testing `tezos-crypto-shaX-props'.
- This run has ID `915MVPJE'.
- 
-   [OK]          SHA256_Props          0   SHA256_incremental_one.
-   [OK]          SHA256_Props          1   SHA256_incremental_list.
-   [OK]          SHA512_Props          0   SHA512_incremental_one.
-   [OK]          SHA512_Props          1   SHA512_incremental_list.
- 
- Full test results in `~/.opam/5.1/.opam-switch/build/tezos-hacl.16.1/_build/default/src/lib_hacl/test/_build/_tests/tezos-crypto-shaX-props'.
- Test Successful in 3.492s. 4 tests run.
-> compiled  tezos-hacl.16.1
-> removed   tezos-hacl.16.1
-> installed tezos-hacl.16.1
Done.
# Run eval $(opam env) to update the current shell environment
2024-02-12 20:05.16 ---> saved as "76496affe22c82200674455449843ca64a823987dede84f74887c65cc01c470c"
Job succeeded
2024-02-12 20:05.21: Job succeeded