- github
- ocaml
- opam-repository
- 7d6af5
- compilers,5.4,dune-configurator.3.21.0~alpha4,revdeps,bls12-381.20.1
(not at the head of any monitored branch or PR)
2025-12-15 03:23.36: New job: test bls12-381.20.1 with dune-configurator.3.21.0~alpha4, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29096/head (7d6af52f05e2c06c00193b2918193b6994ece701)
on debian-13-ocaml-5.4/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/29096/head" && git reset --hard 7d6af52f
git fetch origin master
git merge --no-edit 2625e9877b44d517ad87b5bf4ff708f3e44b78d8
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-5.4@sha256:8c62cc7b043f64833949d4049211997093b28a2f1b98377748d3e185ae301c04
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-dev /usr/bin/opam
RUN opam init --reinit -ni
RUN opam option solver=builtin-0install && opam config report
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
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
RUN opam pin add -k version -yn dune-configurator.3.21.0~alpha4 3.21.0~alpha4
RUN opam reinstall dune-configurator.3.21.0~alpha4; \
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-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'dune-configurator.3.21.0~alpha4' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN opam reinstall bls12-381.20.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-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'bls12-381.20.1' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN (opam reinstall --with-test bls12-381.20.1) || true
RUN opam reinstall --with-test --verbose bls12-381.20.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-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'bls12-381.20.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 .
2025-12-15 03:23.36: Using cache hint "ocaml/opam:debian-13-ocaml-5.4@sha256:8c62cc7b043f64833949d4049211997093b28a2f1b98377748d3e185ae301c04-dune-configurator.3.21.0~alpha4-bls12-381.20.1-7d6af52f05e2c06c00193b2918193b6994ece701"
2025-12-15 03:23.36: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-5.4@sha256:8c62cc7b043f64833949d4049211997093b28a2f1b98377748d3e185ae301c04)
(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"))
(run (shell "opam option solver=builtin-0install && opam config report"))
(env OPAMDOWNLOADJOBS 1)
(env OPAMERRLOGLEN 0)
(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"))
(run (shell "opam pin add -k version -yn dune-configurator.3.21.0~alpha4 3.21.0~alpha4"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall dune-configurator.3.21.0~alpha4;\
\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-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'dune-configurator.3.21.0~alpha4' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall bls12-381.20.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-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'bls12-381.20.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (network host)
(shell "(opam reinstall --with-test bls12-381.20.1) || true"))
(run (shell "opam reinstall --with-test --verbose bls12-381.20.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-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'bls12-381.20.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2025-12-15 03:23.36: Waiting for resource in pool OCluster
2025-12-15 14:46.15: Waiting for worker…
2025-12-15 14:50.31: Got resource from pool OCluster
Building on asteria.caelum.ci.dev
All commits already cached
HEAD is now at 2625e9877b Merge pull request #29094 from anmonteiro/patch-9
Updating 2625e9877b..7d6af52f05
Fast-forward
.../chrome-trace/chrome-trace.3.21.0~alpha4/opam | 41 ++++++++++++
.../dune-action-plugin.3.21.0~alpha4/opam | 54 ++++++++++++++++
.../dune-build-info.3.21.0~alpha4/opam | 47 ++++++++++++++
.../dune-configurator.3.21.0~alpha4/opam | 51 +++++++++++++++
packages/dune-glob/dune-glob.3.21.0~alpha4/opam | 44 +++++++++++++
.../dune-private-libs.3.21.0~alpha4/opam | 52 +++++++++++++++
.../dune-rpc-lwt/dune-rpc-lwt.3.21.0~alpha4/opam | 43 +++++++++++++
packages/dune-rpc/dune-rpc.3.21.0~alpha4/opam | 46 +++++++++++++
packages/dune-site/dune-site.3.21.0~alpha4/opam | 39 +++++++++++
packages/dune/dune.3.21.0~alpha4/opam | 75 ++++++++++++++++++++++
packages/dyn/dyn.3.21.0~alpha4/opam | 42 ++++++++++++
packages/fs-io/fs-io.3.21.0~alpha4/opam | 41 ++++++++++++
packages/ocamlc-loc/ocamlc-loc.3.21.0~alpha4/opam | 45 +++++++++++++
packages/ordering/ordering.3.21.0~alpha4/opam | 40 ++++++++++++
packages/stdune/stdune.3.21.0~alpha4/opam | 48 ++++++++++++++
.../top-closure/top-closure.3.21.0~alpha4/opam | 40 ++++++++++++
packages/xdg/xdg.3.21.0~alpha4/opam | 41 ++++++++++++
17 files changed, 789 insertions(+)
create mode 100644 packages/chrome-trace/chrome-trace.3.21.0~alpha4/opam
create mode 100644 packages/dune-action-plugin/dune-action-plugin.3.21.0~alpha4/opam
create mode 100644 packages/dune-build-info/dune-build-info.3.21.0~alpha4/opam
create mode 100644 packages/dune-configurator/dune-configurator.3.21.0~alpha4/opam
create mode 100644 packages/dune-glob/dune-glob.3.21.0~alpha4/opam
create mode 100644 packages/dune-private-libs/dune-private-libs.3.21.0~alpha4/opam
create mode 100644 packages/dune-rpc-lwt/dune-rpc-lwt.3.21.0~alpha4/opam
create mode 100644 packages/dune-rpc/dune-rpc.3.21.0~alpha4/opam
create mode 100644 packages/dune-site/dune-site.3.21.0~alpha4/opam
create mode 100644 packages/dune/dune.3.21.0~alpha4/opam
create mode 100644 packages/dyn/dyn.3.21.0~alpha4/opam
create mode 100644 packages/fs-io/fs-io.3.21.0~alpha4/opam
create mode 100644 packages/ocamlc-loc/ocamlc-loc.3.21.0~alpha4/opam
create mode 100644 packages/ordering/ordering.3.21.0~alpha4/opam
create mode 100644 packages/stdune/stdune.3.21.0~alpha4/opam
create mode 100644 packages/top-closure/top-closure.3.21.0~alpha4/opam
create mode 100644 packages/xdg/xdg.3.21.0~alpha4/opam
(from ocaml/opam:debian-13-ocaml-5.4@sha256:8c62cc7b043f64833949d4049211997093b28a2f1b98377748d3e185ae301c04)
2025-12-15 14:50.33 ---> using "5f87df8c1f6f0886e7311dfd3df40b8bbb961cc34c83c0d033c6dd248c84bc7d" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2025-12-15 14:50.33 ---> using "f1296791f2d76481058db697105a569091a6b6345f05c94bbc5a650f1a364f9a" 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 version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.
[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
Continue? [Y/n] y
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2025-12-15 14:50.33 ---> using "0cac9a31b4750e6a46df8ed8d2f68352091a988199fdf62c52779549510cd6bf" from cache
/home/opam: (run (shell "opam option solver=builtin-0install && opam config report"))
Set to 'builtin-0install' the field solver in global configuration
# opam config report
# opam-version 2.5.0
# self-upgrade no
# system arch=x86_64 os=linux os-distribution=debian os-version=13
# solver builtin-0install
# install-criteria -changed,-count[avoid-version,solution]
# upgrade-criteria -count[avoid-version,solution]
# jobs 255
# repositories 1 (version-controlled)
# pinned 1 (version)
# current-switch 5.4
# invariant ["ocaml-base-compiler" {>= "5.4.0"}]
# compiler-packages ocaml-base-compiler.5.4.0, ocaml-compiler.5.4.0, ocaml-options-vanilla.1
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/5.4/lib/ocaml/stublibs:/home/opam/.opam/5.4/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 5.4.0
2025-12-15 14:50.33 ---> using "1deb91dc3badca969976ed6f3bc5fe7c443d73a2cfa957be662fd6f93e30aa7b" from cache
/home/opam: (env OPAMDOWNLOADJOBS 1)
/home/opam: (env OPAMERRLOGLEN 0)
/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/"))
2025-12-15 14:50.33 ---> using "1a02438c8753bf7228a9eb625e65b7af26778a022b9ce0b16be5ef4f294c58cd" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2025-12-15 14:50.34 ---> using "eb7fce002d3011997e6b86dbe83f655d6b7730dccc18f79edba49a7bf7e4d9a8" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2025-12-15 14:50.34 ---> using "4b065be9f938538e7e8ff55e18456d0f2a5ae5a85bf63e0a975d8019feba2dfc" from cache
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian trixie InRelease
- Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]
- Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]
- Get:4 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [84.8 kB]
- Fetched 176 kB in 0s (1483 kB/s)
- Reading package lists...
2025-12-15 14:50.34 ---> using "e068c5ce43af944c455b2776cca2e7f3a89bfe2d7427c70330cf49a061e468e9" from cache
/home/opam: (run (shell "opam pin add -k version -yn dune-configurator.3.21.0~alpha4 3.21.0~alpha4"))
dune-configurator is now pinned to version 3.21.0~alpha4
2025-12-15 14:50.34 ---> using "79a8e5702bdb74ee67cc3a7da53b31fe75e052cf86e9a3aeddfa9379433d2209" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall dune-configurator.3.21.0~alpha4;\
\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-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'dune-configurator.3.21.0~alpha4' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
dune-configurator.3.21.0~alpha4 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 3 packages
- install csexp 1.5.2 [required by dune-configurator]
- install dune 3.21.0~alpha4 [required by dune-configurator]
- install dune-configurator 3.21.0~alpha4 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved csexp.1.5.2 (cached)
-> retrieved dune.3.21.0~alpha4, dune-configurator.3.21.0~alpha4 (cached)
-> installed dune.3.21.0~alpha4
-> installed csexp.1.5.2
-> installed dune-configurator.3.21.0~alpha4
Done.
# To update the current shell environment, run: eval $(opam env)
2025-12-15 14:50.34 ---> using "d60f4decce953204c8a6f5ab2b2e0f4ca436ce677a8cceab996d923f8f5d8be4" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall bls12-381.20.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-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'bls12-381.20.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
bls12-381.20.1 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 28 packages
- install bls12-381 20.1
- install cmdliner 2.1.0 [required by fmt, js_of_ocaml-compiler]
- install conf-gmp 5 [required by zarith]
- install cstruct 6.2.0 [required by hex]
- install fmt 0.11.0 [required by cstruct]
- install gen 1.1 [required by sedlex]
- install hex 1.5.0 [required by bls12-381]
- install integers 0.7.0 [required by bls12-381]
- install integers_stubs_js 1.0 [required by bls12-381]
- install js_of_ocaml 6.2.0 [required by integers_stubs_js]
- install js_of_ocaml-compiler 6.2.0 [required by js_of_ocaml]
- install menhir 20250912 [required by js_of_ocaml-compiler]
- install menhirCST 20250912 [required by menhir]
- install menhirLib 20250912 [required by js_of_ocaml-compiler]
- install menhirSdk 20250912 [required by js_of_ocaml-compiler]
- install ocaml-compiler-libs v0.17.0 [required by ppxlib]
- install ocamlbuild 0.16.1 [required by fmt]
- install ocamlfind 1.9.8 [required by zarith]
- install ppx_derivers 1.2.1 [required by ppxlib]
- install ppxlib 0.37.0 [required by js_of_ocaml]
- install sedlex 3.7 [required by js_of_ocaml-compiler]
- install seq base [required by gen]
- install sexplib0 v0.17.0 [required by ppxlib]
- install stdlib-shims 0.3.0 [required by integers]
- install topkg 1.1.1 [required by fmt]
- install yojson 3.0.0 [required by js_of_ocaml-compiler]
- install zarith 1.13 [required by bls12-381]
- install zarith_stubs_js v0.17.0 [required by bls12-381]
The following system packages will first need to be installed:
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" "libgmp-dev"
- Selecting previously unselected package libgmpxx4ldbl: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 ... 20653 files and directories currently installed.)
- Preparing to unpack .../libgmpxx4ldbl_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Processing triggers for libc-bin (2.41-12) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved bls12-381.20.1 (cached)
-> retrieved cmdliner.2.1.0 (cached)
-> retrieved conf-gmp.5 (cached)
-> retrieved cstruct.6.2.0 (cached)
-> retrieved fmt.0.11.0 (cached)
-> retrieved gen.1.1 (cached)
-> retrieved hex.1.5.0 (cached)
-> retrieved integers.0.7.0 (cached)
-> retrieved integers_stubs_js.1.0 (cached)
-> installed conf-gmp.5
-> retrieved js_of_ocaml.6.2.0, js_of_ocaml-compiler.6.2.0 (cached)
-> retrieved menhir.20250912, menhirCST.20250912, menhirLib.20250912, menhirSdk.20250912 (cached)
-> retrieved ocaml-compiler-libs.v0.17.0 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> installed cmdliner.2.1.0
-> installed menhirCST.20250912
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppxlib.0.37.0 (cached)
-> installed menhirSdk.20250912
-> retrieved sedlex.3.7 (cached)
-> retrieved seq.base (cached)
-> installed seq.base
-> installed ppx_derivers.1.2.1
-> retrieved sexplib0.v0.17.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved topkg.1.1.1 (cached)
-> retrieved yojson.3.0.0 (cached)
-> installed menhirLib.20250912
-> installed stdlib-shims.0.3.0
-> retrieved zarith.1.13 (cached)
-> retrieved zarith_stubs_js.v0.17.0 (cached)
-> installed sexplib0.v0.17.0
-> installed zarith_stubs_js.v0.17.0
-> installed ocaml-compiler-libs.v0.17.0
-> installed gen.1.1
-> installed integers.0.7.0
-> installed yojson.3.0.0
-> installed ocamlfind.1.9.8
-> installed ocamlbuild.0.16.1
-> installed zarith.1.13
-> installed topkg.1.1.1
-> installed fmt.0.11.0
-> installed cstruct.6.2.0
-> installed hex.1.5.0
-> installed ppxlib.0.37.0
-> installed menhir.20250912
-> installed sedlex.3.7
-> installed js_of_ocaml-compiler.6.2.0
-> installed js_of_ocaml.6.2.0
-> installed integers_stubs_js.1.0
-> installed bls12-381.20.1
Done.
# To update the current shell environment, run: eval $(opam env)
2025-12-15 14:51.52 ---> saved as "8fcf97711b74ec58e3d1669c3a2a40e1fc574bb4fc2f050fe474a02da6b68c77"
/home/opam: (run (network host)
(shell "(opam reinstall --with-test bls12-381.20.1) || true"))
The following actions will be performed:
=== recompile 1 package
- recompile bls12-381 20.1
=== install 16 packages
- install alcotest 1.9.1 [required by qcheck-alcotest]
- install astring 0.8.5 [required by alcotest]
- install base-bytes base [required by ocplib-endian]
- install clap 0.3.0 [required by tezt]
- install cppo 1.8.0 [required by lwt]
- install ezjsonm 1.3.0 [required by tezt]
- install jsonm 1.0.2 [required by ezjsonm]
- install lwt 5.9.2 [required by tezt]
- install ocaml-syntax-shims 1.0.0 [required by alcotest]
- install ocplib-endian 1.2 [required by lwt]
- install octez-alcotezt 20.1 [required by bls12-381]
- install qcheck-alcotest 0.27 [required by bls12-381]
- install qcheck-core 0.27 [required by qcheck-alcotest]
- install re 1.14.0 [required by tezt, alcotest]
- install tezt 4.3.0 [required by bls12-381]
- install uutf 1.0.4 [required by alcotest]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved alcotest.1.9.1 (https://opam.ocaml.org/cache)
-> retrieved astring.0.8.5 (https://opam.ocaml.org/cache)
-> installed base-bytes.base
-> installed astring.0.8.5
-> retrieved bls12-381.20.1 (https://opam.ocaml.org/cache)
-> retrieved clap.0.3.0 (https://opam.ocaml.org/cache)
-> retrieved cppo.1.8.0 (https://opam.ocaml.org/cache)
-> retrieved ezjsonm.1.3.0 (https://opam.ocaml.org/cache)
-> installed clap.0.3.0
-> retrieved jsonm.1.0.2 (https://opam.ocaml.org/cache)
-> retrieved lwt.5.9.2 (https://opam.ocaml.org/cache)
-> retrieved ocaml-syntax-shims.1.0.0 (https://opam.ocaml.org/cache)
-> retrieved ocplib-endian.1.2 (https://opam.ocaml.org/cache)
-> installed cppo.1.8.0
-> installed ocplib-endian.1.2
-> installed ocaml-syntax-shims.1.0.0
-> installed lwt.5.9.2
-> retrieved octez-alcotezt.20.1 (cached)
-> retrieved qcheck-alcotest.0.27, qcheck-core.0.27 (https://opam.ocaml.org/cache)
-> retrieved re.1.14.0 (https://opam.ocaml.org/cache)
-> retrieved tezt.4.3.0 (https://opam.ocaml.org/cache)
-> retrieved uutf.1.0.4 (https://opam.ocaml.org/cache)
-> installed re.1.14.0
-> installed qcheck-core.0.27
-> removed bls12-381.20.1
-> installed uutf.1.0.4
-> installed alcotest.1.9.1
-> installed jsonm.1.0.2
-> installed qcheck-alcotest.0.27
-> installed ezjsonm.1.3.0
-> installed tezt.4.3.0
-> installed octez-alcotezt.20.1
-> installed bls12-381.20.1
Done.
# To update the current shell environment, run: eval $(opam env)
2025-12-15 14:54.02 ---> saved as "cec83e132511d1db5f009c27627fd855ca009922810955d73bc91080af15d91b"
/home/opam: (run (shell "opam reinstall --with-test --verbose bls12-381.20.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-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'bls12-381.20.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 bls12-381 20.1
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/4: [bls12-381.20.1: extract]
-> retrieved bls12-381.20.1 (cached)
Processing 2/4: [bls12-381: rm vendors]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "rm" "-r" "vendors" "contrib" (CWD=/home/opam/.opam/5.4/.opam-switch/build/bls12-381.20.1)
Processing 2/4: [bls12-381: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "bls12-381" "-j" "255" (CWD=/home/opam/.opam/5.4/.opam-switch/build/bls12-381.20.1)
Processing 2/4: [bls12-381: dune runtest]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "runtest" "-p" "bls12-381" "-j" "255" (CWD=/home/opam/.opam/5.4/.opam-switch/build/bls12-381.20.1)
- (cd _build/default/src/lib_bls12_381/test && ./main.exe)
- [14:54:25.235] [SUCCESS] (1/324) Random state: Random state (Fr)
- [14:54:25.236] [SUCCESS] (2/324) Random state: Random state (Fq12)
- [14:54:25.236] [SUCCESS] (3/324) Random state: Random state (G1)
- [14:54:25.237] [SUCCESS] (4/324) Random state: Random state (G2)
- [14:54:25.242] [SUCCESS] (5/324) Pairing: Pairing module: regression tests (pairing)
- [14:54:25.244] [SUCCESS] (6/324) Pairing: Pairing module: regression tests (Final exponentiation)
- [14:54:25.247] [SUCCESS] (7/324) Pairing: Pairing module: regression tests (miller loop)
- [14:54:25.364] [SUCCESS] (8/324) Pairing: Properties (with zero as first component)
- [14:54:25.423] [SUCCESS] (9/324) Pairing: Properties (with zero as second component)
- [14:54:26.069] [SUCCESS] (10/324) Pairing: Properties (linearity commutative scalar with only one scalar)
- [14:54:26.921] [SUCCESS] (11/324) Pairing: Properties (linearity scalar in scalar with only one scalar)
- [14:54:27.805] [SUCCESS] (12/324) Pairing: Properties (full linearity)
- [14:54:27.806] [SUCCESS] (13/324) Pairing: Properties (test vectors pairing of one and one)
- [14:54:27.859] [SUCCESS] (14/324) Pairing: Properties (test pairing check with opposite)
- [14:54:27.990] [SUCCESS] (15/324) Pairing: Properties (test pairing check with random points)
- [14:54:27.991] [SUCCESS] (16/324) Pairing: Properties (test pairing check on empty list must return true)
- [14:54:28.044] [SUCCESS] (17/324) Pairing: Properties (test result pairing with miller loop simple followed by final exponentiation)
- [14:54:28.615] [SUCCESS] (18/324) Pairing: Properties (test result pairing with miller loop nb random points)
- [14:54:28.615] [SUCCESS] (19/324) Pairing: Properties (test miller loop on empty list returns one)
- [14:54:29.364] [SUCCESS] (20/324) Pairing: Properties (linearity commutativity scalar)
- [14:54:29.466] [SUCCESS] (21/324) hash_to_curve: From bls_sigs_ref (G1)
- [14:54:29.694] [SUCCESS] (22/324) hash_to_curve: From bls_sigs_ref (G2)
- [14:54:29.695] [SUCCESS] (23/324) hash_to_curve: Regression tests (Using this repo)
- [14:54:30.113] [SUCCESS] (24/324) hash_to_curve: Special cases (DST can be longer than 255 characters)
- [14:54:30.113] [SUCCESS] (25/324) GT: is_zero (with zero value)
- [14:54:30.113] [SUCCESS] (26/324) GT: is_zero (with one value)
- [14:54:30.192] [SUCCESS] (27/324) GT: is_zero (with random value)
- [14:54:30.192] [SUCCESS] (28/324) GT: is_one (with zero value)
- [14:54:30.192] [SUCCESS] (29/324) GT: is_one (with one value)
- [14:54:30.269] [SUCCESS] (30/324) GT: is_one (with random value)
- [14:54:30.347] [SUCCESS] (31/324) GT: value generation (random)
- [14:54:30.347] [SUCCESS] (32/324) GT: value generation (negate_with_one)
- [14:54:30.347] [SUCCESS] (33/324) GT: value generation (negate_with_zero)
- [14:54:30.425] [SUCCESS] (34/324) GT: value generation (negate_with_random)
- [14:54:30.426] [SUCCESS] (35/324) GT: equality (zero)
- [14:54:30.426] [SUCCESS] (36/324) GT: equality (one)
- [14:54:30.504] [SUCCESS] (37/324) GT: equality (random_same_objects)
- [14:54:30.504] [SUCCESS] (38/324) GT: Constructors properties (Values not in the prime subgroup)
- [14:54:30.593] [SUCCESS] (39/324) GT: Group properties (check_bytes_random)
- [14:54:30.593] [SUCCESS] (40/324) GT: Group properties (check_bytes_zero)
- [14:54:30.593] [SUCCESS] (41/324) GT: Group properties (check_bytes_one)
- [14:54:30.760] [SUCCESS] (42/324) GT: Group properties (check_bytes_random_sum)
- [14:54:30.930] [SUCCESS] (43/324) GT: Group properties (check_bytes_random_multiplication)
- [14:54:30.930] [SUCCESS] (44/324) GT: Group properties (zero_scalar_nullifier_one)
- [14:54:30.930] [SUCCESS] (45/324) GT: Group properties (zero_scalar_nullifier_zero)
- [14:54:31.010] [SUCCESS] (46/324) GT: Group properties (zero_scalar_nullifier_random)
- [14:54:31.090] [SUCCESS] (47/324) GT: Group properties (multiply_by_one_does_nothing)
- [14:54:31.171] [SUCCESS] (48/324) GT: Group properties (opposite_of_opposite)
- [14:54:31.251] [SUCCESS] (49/324) GT: Group properties (opposite_of_opposite_using_scalar)
- [14:54:31.251] [SUCCESS] (50/324) GT: Group properties (opposite_of_zero_is_zero)
- [14:54:31.251] [SUCCESS] (51/324) GT: Group properties (opposite_of_opposite_of_zero_is_zero)
- [14:54:31.251] [SUCCESS] (52/324) GT: Group properties (opposite_of_opposite_of_one_is_one)
- [14:54:31.255] [SUCCESS] (53/324) GT: Group properties (opposite_equality)
- [14:54:31.659] [SUCCESS] (54/324) GT: Group properties (distributivity)
- [14:54:31.826] [SUCCESS] (55/324) GT: Group properties (commutativity)
- [14:54:32.087] [SUCCESS] (56/324) GT: Group properties (opposite_of_scalar_is_opposite_of_ec)
- [14:54:32.209] [SUCCESS] (57/324) GT: Group properties (opposite_existential_property)
- [14:54:32.811] [SUCCESS] (58/324) GT: Group properties (multiplication_properties_on_base_field_element)
- [14:54:33.139] [SUCCESS] (59/324) GT: Group properties (additive_associativity_with_scalar)
- [14:54:33.307] [SUCCESS] (60/324) GT: Group properties (random elements are generated in the prime subgroup)
- [14:54:33.553] [SUCCESS] (61/324) GT: Group properties (additive_associativity)
- [14:54:33.553] [SUCCESS] (62/324) G2: is_zero (with zero value)
- [14:54:33.553] [SUCCESS] (63/324) G2: is_zero (with one value)
- [14:54:33.633] [SUCCESS] (64/324) G2: is_zero (with random value)
- [14:54:33.730] [SUCCESS] (65/324) G2: value generation (random)
- [14:54:33.731] [SUCCESS] (66/324) G2: value generation (negate_with_one)
- [14:54:33.731] [SUCCESS] (67/324) G2: value generation (negate_with_zero)
- [14:54:33.829] [SUCCESS] (68/324) G2: value generation (negate_with_random)
- [14:54:33.906] [SUCCESS] (69/324) G2: value generation (double_with_random)
- [14:54:33.906] [SUCCESS] (70/324) G2: value generation (double_with_one)
- [14:54:33.907] [SUCCESS] (71/324) G2: value generation (double_with_zero)
- [14:54:33.907] [SUCCESS] (72/324) G2: equality (zero)
- [14:54:33.907] [SUCCESS] (73/324) G2: equality (one)
- [14:54:33.981] [SUCCESS] (74/324) G2: equality (random_same_objects)
- [14:54:34.056] [SUCCESS] (75/324) G2: Curve properties (check_bytes_random)
- [14:54:34.056] [SUCCESS] (76/324) G2: Curve properties (check_bytes_zero)
- [14:54:34.056] [SUCCESS] (77/324) G2: Curve properties (check_bytes_one)
- [14:55:12.286] [SUCCESS] (78/324) G2: Curve properties (bulk add)
- [14:55:12.360] [SUCCESS] (79/324) G2: Curve properties (check_bytes_random_double)
- [14:55:12.508] [SUCCESS] (80/324) G2: Curve properties (check_bytes_random_sum)
- [14:55:12.601] [SUCCESS] (81/324) G2: Curve properties (check_bytes_random_multiplication)
- [14:55:12.602] [SUCCESS] (82/324) G2: Curve properties (zero_scalar_nullifier_one)
- [14:55:12.602] [SUCCESS] (83/324) G2: Curve properties (zero_scalar_nullifier_zero)
- [14:55:12.711] [SUCCESS] (84/324) G2: Curve properties (zero_scalar_nullifier_random)
- [14:55:12.806] [SUCCESS] (85/324) G2: Curve properties (multiply_by_one_does_nothing)
- [14:55:12.880] [SUCCESS] (86/324) G2: Curve properties (opposite_of_opposite)
- [14:55:12.975] [SUCCESS] (87/324) G2: Curve properties (opposite_of_opposite_using_scalar)
- [14:55:12.975] [SUCCESS] (88/324) G2: Curve properties (opposite_of_zero_is_zero)
- [14:55:12.975] [SUCCESS] (89/324) G2: Curve properties (opposite_of_opposite_of_zero_is_zero)
- [14:55:12.975] [SUCCESS] (90/324) G2: Curve properties (opposite_of_opposite_of_one_is_one)
- [14:55:12.977] [SUCCESS] (91/324) G2: Curve properties (opposite_equality)
- [14:55:13.190] [SUCCESS] (92/324) G2: Curve properties (distributivity)
- [14:55:13.310] [SUCCESS] (93/324) G2: Curve properties (opposite_of_scalar_is_opposite_of_ec)
- [14:55:13.384] [SUCCESS] (94/324) G2: Curve properties (opposite_existential_property)
- [14:55:13.585] [SUCCESS] (95/324) G2: Curve properties (multiplication_properties_on_base_field_element)
- [14:55:13.659] [SUCCESS] (96/324) G2: Curve properties (double)
- [14:55:13.798] [SUCCESS] (97/324) G2: Curve properties (additive_associativity_with_scalar)
- [14:55:13.929] [SUCCESS] (98/324) G2: Curve properties (random elements are generated in the prime subgroup)
- [14:55:14.152] [SUCCESS] (99/324) G2: Curve properties (additive_associativity)
- [14:55:14.227] [SUCCESS] (100/324) G2: Memory (copy)
- [14:55:14.227] [SUCCESS] (101/324) G2: Memory (size in memory)
- [14:55:17.989] [SUCCESS] (102/324) G2: Bulk operations (bulk add)
- [14:55:20.953] [SUCCESS] (103/324) G2: Bulk operations (to_affine_array)
- [14:55:23.922] [SUCCESS] (104/324) G2: Bulk operations (size_of_affine_array)
- [14:55:23.956] [SUCCESS] (105/324) G2: Bulk operations (pippenger)
- [14:55:30.212] [SUCCESS] (106/324) G2: Bulk operations (pippenger continuous chunk size)
- [14:55:30.274] [SUCCESS] (107/324) G2: Bulk operations (pippenger different size)
- [14:55:30.350] [SUCCESS] (108/324) G2: Bulk operations (pippenger contiguous)
- [14:55:30.413] [SUCCESS] (109/324) G2: Bulk operations (pippenger contiguous with different size)
- [14:55:30.472] [SUCCESS] (110/324) G2: Bulk operations (pippenger contiguous with start argument)
- [14:55:30.534] [SUCCESS] (111/324) G2: Bulk operations (pippenger contiguous with start and len argument)
- [14:55:30.585] [SUCCESS] (112/324) G2: Bulk operations (pippenger contiguous with len argument)
- [14:55:30.585] [SUCCESS] (113/324) G2: Representation of G2 Uncompressed (zero has first byte at 64)
- [14:55:30.586] [SUCCESS] (114/324) G2: Representation of G2 Uncompressed (of_bytes_[opt/exn] verifies the point is in the prime subgroup)
- [14:55:31.332] [SUCCESS] (115/324) G2: Representation of G2 Uncompressed (of_bytes_opt/exn do not accept compressed bytes representation)
- [14:55:32.078] [SUCCESS] (116/324) G2: Representation of G2 Uncompressed (random has first byte strictly lower than 64)
- [14:55:32.078] [SUCCESS] (117/324) G2: Compressed representation (vectors)
- [14:55:32.079] [SUCCESS] (118/324) G2: Compressed representation (of_compressed_bytes_[opt/exn] verifies the point is in the prime subgroup)
- [14:55:32.834] [SUCCESS] (119/324) G2: Compressed representation (of_compressed_bytes_opt/exn do not accept uncompressed bytes representation)
- [14:55:32.835] [SUCCESS] (120/324) G2: Compressed representation (Regression tests)
- [14:55:32.836] [SUCCESS] (121/324) G2: Compressed representation (Recover correct point)
- [14:55:32.913] [SUCCESS] (122/324) G2: Compressed representation (Most significant bit is set to 1)
- [14:55:32.913] [SUCCESS] (123/324) G2: Compressed representation (Second most significant bit is set to 1 for the identity element)
- [14:55:32.991] [SUCCESS] (124/324) G2: Compressed representation (Verify x is fully in the compressed version and in big endian)
- [14:55:32.992] [SUCCESS] (125/324) G2: Compressed representation (Compressed version is half the size)
- [14:55:32.993] [SUCCESS] (126/324) G2: Regression tests for arithmetic (Regression tests)
- [14:55:33.116] [SUCCESS] (127/324) G2: Inplace operations (mul inplace)
- [14:55:33.278] [SUCCESS] (128/324) G2: Inplace operations (add inplace)
- [14:55:33.278] [SUCCESS] (129/324) G2: From Z elements (one (generator))
- [14:55:33.278] [SUCCESS] (130/324) G2: From Z elements (random points not on curve)
- [14:55:33.278] [SUCCESS] (131/324) G1: is_zero (with zero value)
- [14:55:33.278] [SUCCESS] (132/324) G1: is_zero (with one value)
- [14:55:33.292] [SUCCESS] (133/324) G1: is_zero (with random value)
- [14:55:33.306] [SUCCESS] (134/324) G1: value generation (random)
- [14:55:33.306] [SUCCESS] (135/324) G1: value generation (negate_with_one)
- [14:55:33.306] [SUCCESS] (136/324) G1: value generation (negate_with_zero)
- [14:55:33.320] [SUCCESS] (137/324) G1: value generation (negate_with_random)
- [14:55:33.334] [SUCCESS] (138/324) G1: value generation (double_with_random)
- [14:55:33.335] [SUCCESS] (139/324) G1: value generation (double_with_one)
- [14:55:33.335] [SUCCESS] (140/324) G1: value generation (double_with_zero)
- [14:55:33.335] [SUCCESS] (141/324) G1: equality (zero)
- [14:55:33.335] [SUCCESS] (142/324) G1: equality (one)
- [14:55:33.349] [SUCCESS] (143/324) G1: equality (random_same_objects)
- [14:55:33.364] [SUCCESS] (144/324) G1: Curve properties (check_bytes_random)
- [14:55:33.364] [SUCCESS] (145/324) G1: Curve properties (check_bytes_zero)
- [14:55:33.364] [SUCCESS] (146/324) G1: Curve properties (check_bytes_one)
- [14:55:40.505] [SUCCESS] (147/324) G1: Curve properties (bulk add)
- [14:55:40.520] [SUCCESS] (148/324) G1: Curve properties (check_bytes_random_double)
- [14:55:40.549] [SUCCESS] (149/324) G1: Curve properties (check_bytes_random_sum)
- [14:55:40.574] [SUCCESS] (150/324) G1: Curve properties (check_bytes_random_multiplication)
- [14:55:40.574] [SUCCESS] (151/324) G1: Curve properties (zero_scalar_nullifier_one)
- [14:55:40.574] [SUCCESS] (152/324) G1: Curve properties (zero_scalar_nullifier_zero)
- [14:55:40.603] [SUCCESS] (153/324) G1: Curve properties (zero_scalar_nullifier_random)
- [14:55:40.628] [SUCCESS] (154/324) G1: Curve properties (multiply_by_one_does_nothing)
- [14:55:40.642] [SUCCESS] (155/324) G1: Curve properties (opposite_of_opposite)
- [14:55:40.667] [SUCCESS] (156/324) G1: Curve properties (opposite_of_opposite_using_scalar)
- [14:55:40.667] [SUCCESS] (157/324) G1: Curve properties (opposite_of_zero_is_zero)
- [14:55:40.667] [SUCCESS] (158/324) G1: Curve properties (opposite_of_opposite_of_zero_is_zero)
- [14:55:40.667] [SUCCESS] (159/324) G1: Curve properties (opposite_of_opposite_of_one_is_one)
- [14:55:40.668] [SUCCESS] (160/324) G1: Curve properties (opposite_equality)
- [14:55:40.729] [SUCCESS] (161/324) G1: Curve properties (distributivity)
- [14:55:40.765] [SUCCESS] (162/324) G1: Curve properties (opposite_of_scalar_is_opposite_of_ec)
- [14:55:40.779] [SUCCESS] (163/324) G1: Curve properties (opposite_existential_property)
- [14:55:40.857] [SUCCESS] (164/324) G1: Curve properties (multiplication_properties_on_base_field_element)
- [14:55:40.871] [SUCCESS] (165/324) G1: Curve properties (double)
- [14:55:40.917] [SUCCESS] (166/324) G1: Curve properties (additive_associativity_with_scalar)
- [14:55:40.956] [SUCCESS] (167/324) G1: Curve properties (random elements are generated in the prime subgroup)
- [14:55:40.998] [SUCCESS] (168/324) G1: Curve properties (additive_associativity)
- [14:55:41.012] [SUCCESS] (169/324) G1: Memory (copy)
- [14:55:41.012] [SUCCESS] (170/324) G1: Memory (size in memory)
- [14:55:41.539] [SUCCESS] (171/324) G1: Bulk operations (bulk add)
- [14:55:42.211] [SUCCESS] (172/324) G1: Bulk operations (to_affine_array)
- [14:55:42.881] [SUCCESS] (173/324) G1: Bulk operations (size_of_affine_array)
- [14:55:42.890] [SUCCESS] (174/324) G1: Bulk operations (pippenger)
- [14:55:44.290] [SUCCESS] (175/324) G1: Bulk operations (pippenger continuous chunk size)
- [14:55:44.307] [SUCCESS] (176/324) G1: Bulk operations (pippenger different size)
- [14:55:44.328] [SUCCESS] (177/324) G1: Bulk operations (pippenger contiguous)
- [14:55:44.345] [SUCCESS] (178/324) G1: Bulk operations (pippenger contiguous with different size)
- [14:55:44.358] [SUCCESS] (179/324) G1: Bulk operations (pippenger contiguous with start argument)
- [14:55:44.370] [SUCCESS] (180/324) G1: Bulk operations (pippenger contiguous with start and len argument)
- [14:55:44.383] [SUCCESS] (181/324) G1: Bulk operations (pippenger contiguous with len argument)
- [14:55:44.383] [SUCCESS] (182/324) G1: Representation of G1 Uncompressed (zero has first byte at 64)
- [14:55:44.585] [SUCCESS] (183/324) G1: Representation of G1 Uncompressed (of bytes and to bytes are consistent on random)
- [14:55:44.585] [SUCCESS] (184/324) G1: Representation of G1 Uncompressed (bytes encoding)
- [14:55:44.586] [SUCCESS] (185/324) G1: Representation of G1 Uncompressed (of_bytes_[opt/exn] verifies the point is in the prime subgroup)
- [14:55:44.586] [SUCCESS] (186/324) G1: Representation of G1 Uncompressed (of bytes and to bytes are consistent on one)
- [14:55:44.586] [SUCCESS] (187/324) G1: Representation of G1 Uncompressed (of bytes and to bytes are consistent on zero)
- [14:55:44.731] [SUCCESS] (188/324) G1: Representation of G1 Uncompressed (of_bytes_opt/exn do not accept compressed bytes representation)
- [14:55:44.878] [SUCCESS] (189/324) G1: Representation of G1 Uncompressed (random has first byte strictly lower than 64)
- [14:55:44.878] [SUCCESS] (190/324) G1: Compressed representation (vectors)
- [14:55:44.879] [SUCCESS] (191/324) G1: Compressed representation (of_compressed_bytes_[opt/exn] verifies the point is in the prime subgroup)
- [14:55:45.025] [SUCCESS] (192/324) G1: Compressed representation (of_compressed_bytes_opt/exn do not accept uncompressed bytes representation)
- [14:55:45.025] [SUCCESS] (193/324) G1: Compressed representation (Regression tests)
- [14:55:45.025] [SUCCESS] (194/324) G1: Compressed representation (Recover correct point)
- [14:55:45.040] [SUCCESS] (195/324) G1: Compressed representation (Most significant bit is set to 1)
- [14:55:45.040] [SUCCESS] (196/324) G1: Compressed representation (Second most significant bit is set to 1 for the identity element)
- [14:55:45.055] [SUCCESS] (197/324) G1: Compressed representation (Verify x is fully in the compressed version and in big endian)
- [14:55:45.055] [SUCCESS] (198/324) G1: Compressed representation (Compressed version is half the size)
- [14:55:45.090] [SUCCESS] (199/324) G1: Inplace operations (mul inplace)
- [14:55:45.117] [SUCCESS] (200/324) G1: Inplace operations (add inplace)
- [14:55:45.118] [SUCCESS] (201/324) G1: Regression tests for arithmetic (Regression tests)
- 17f1d3a73197d7942695638c4fa9ac0fc3688c4f9774b905a14e3a3f171bac586c55e83ff97a1aeffb3af00adb22c6bb08b3f481e3aaa0f1a09e30ed741d8ae4fcf5e095d5d00af600db18cb2c04b3edd03cc744a2888ae40caa232946c5e7e1
- 17f1d3a73197d7942695638c4fa9ac0fc3688c4f9774b905a14e3a3f171bac586c55e83ff97a1aeffb3af00adb22c6bb08b3f481e3aaa0f1a09e30ed741d8ae4fcf5e095d5d00af600db18cb2c04b3edd03cc744a2888ae40caa232946c5e7e1
- [14:55:45.118] [SUCCESS] (202/324) G1: From Z elements (one (generator))
- [14:55:45.118] [SUCCESS] (203/324) G1: From Z elements (test vectors 1)
- [14:55:45.118] [SUCCESS] (204/324) G1: From Z elements (test vectors 2)
- [14:55:45.119] [SUCCESS] (205/324) G1: From Z elements (test vectors 3)
- [14:55:45.119] [SUCCESS] (206/324) G1: From Z elements (test random points not on curve)
- [14:55:45.119] [SUCCESS] (207/324) G1: From Z elements (test vectors zero and 2 not on curve)
- [14:55:45.119] [SUCCESS] (208/324) G1: From Z elements (test vectors zero and minus 2 not on curve)
- [14:55:45.119] [SUCCESS] (209/324) G1: From Z elements (test vectors add)
- [14:55:45.119] [SUCCESS] (210/324) Fr: Test vectors (inverse)
- [14:55:45.119] [SUCCESS] (211/324) Fr: Test vectors (add)
- [14:55:45.120] [SUCCESS] (212/324) Fr: Test vectors (add bulk)
- [14:55:45.121] [SUCCESS] (213/324) Fr: Test vectors (mul bulk)
- [14:55:45.121] [SUCCESS] (214/324) Fr: Test vectors (opposite)
- [14:55:45.121] [SUCCESS] (215/324) Fr: Test vectors (pow)
- [14:55:45.121] [SUCCESS] (216/324) Fr: Test vectors (multiplication)
- [14:55:45.121] [SUCCESS] (217/324) Fr: Z representation (one)
- [14:55:45.121] [SUCCESS] (218/324) Fr: Z representation (zero)
- [14:55:45.121] [SUCCESS] (219/324) Fr: Z representation (of z and to z with random small numbers)
- [14:55:45.121] [SUCCESS] (220/324) Fr: Z representation (to z and of z with test vectors)
- [14:55:45.121] [SUCCESS] (221/324) Fr: Z representation (of z accepts value greater than the modulo)
- [14:55:45.121] [SUCCESS] (222/324) Fr: Z representation (to z and of z with random small numbers)
- [14:55:45.121] [SUCCESS] (223/324) Fr: Memory (copy)
- [14:55:45.121] [SUCCESS] (224/324) Fr: Memory (size in memory)
- [14:55:45.121] [SUCCESS] (225/324) Fr: Additional Constructors (with positive values as documented)
- [14:55:45.121] [SUCCESS] (226/324) Fr: Additional Constructors (with positive values use decimal represntation)
- [14:55:45.121] [SUCCESS] (227/324) Fr: Additional Constructors (with negative values as documented)
- [14:55:45.122] [SUCCESS] (228/324) Fr: Additional Constructors (with negeative values use decimal represntation)
- [14:55:45.122] [SUCCESS] (229/324) Fr: Inplace operations (add)
- [14:55:45.122] [SUCCESS] (230/324) Fr: Inplace operations (add with same value)
- [14:55:45.122] [SUCCESS] (231/324) Fr: Inplace operations (square)
- [14:55:45.123] [SUCCESS] (232/324) Fr: Inplace operations (negate)
- [14:55:45.123] [SUCCESS] (233/324) Fr: Inplace operations (double)
- [14:55:45.123] [SUCCESS] (234/324) Fr: Inplace operations (inverse)
- [14:55:45.123] [SUCCESS] (235/324) Fr: Inplace operations (negate with same value as output)
- [14:55:45.124] [SUCCESS] (236/324) Fr: Inplace operations (inverse_exn with same value as output)
- [14:55:45.124] [SUCCESS] (237/324) Fr: Inplace operations (sub with same value)
- [14:55:45.124] [SUCCESS] (238/324) Fr: Inplace operations (sub with same value as output)
- [14:55:45.125] [SUCCESS] (239/324) Fr: Inplace operations (mul with same value)
- [14:55:45.125] [SUCCESS] (240/324) Fr: Inplace operations (add with same value as output)
- [14:55:45.125] [SUCCESS] (241/324) Fr: Inplace operations (mul with same value as output)
- [14:55:45.125] [SUCCESS] (242/324) Fr: Inplace operations (sub)
- [14:55:45.126] [SUCCESS] (243/324) Fr: Inplace operations (mul)
- [14:55:45.126] [SUCCESS] (244/324) Fr: Bytes representation (bytes representation is the same than zarith using Z.to_bits)
- [14:55:45.126] [SUCCESS] (245/324) Fr: Bytes representation (of_bytes_[exn/opt] do not accept elements higher than the modulus)
- [14:55:45.126] [SUCCESS] (246/324) Fr: Bytes representation (Padding is done automatically with of_bytes)
- [14:55:45.126] [SUCCESS] (247/324) Fr: Test comparison operators ((=) operator on random element)
- [14:55:45.126] [SUCCESS] (248/324) Fr: Test comparison operators ((=) operator on random element: failing test)
- [14:55:45.126] [SUCCESS] (249/324) Fr: Test comparison operators ((!=) operator on random element: failing test)
- [14:55:45.126] [SUCCESS] (250/324) Fr: Test comparison operators ((=) operator on zero)
- [14:55:45.126] [SUCCESS] (251/324) Fr: Test comparison operators ((=) operator on one)
- [14:55:45.126] [SUCCESS] (252/324) Fr: Test comparison operators ((<) 0 < 1)
- [14:55:45.126] [SUCCESS] (253/324) Fr: Test comparison operators ((>) 0 > 1: failing test)
- [14:55:45.126] [SUCCESS] (254/324) Fr: Test comparison operators ((>) successor is greater)
- [14:55:45.126] [SUCCESS] (255/324) Fr: Test comparison operators ((>) 1 > 0)
- [14:55:45.126] [SUCCESS] (256/324) Fr: Test comparison operators ((<) 1 < 0: failing test)
- [14:55:45.126] [SUCCESS] (257/324) Fr: Test comparison operators ((<) x < x + 1)
- [14:55:45.292] [SUCCESS] (258/324) Fr: Inner product (with random elements)
- [14:55:45.292] [SUCCESS] (259/324) Fr: String representation (one)
- [14:55:45.292] [SUCCESS] (260/324) Fr: String representation (consistency of_string with of_z with test vectors)
- [14:55:45.292] [SUCCESS] (261/324) Fr: String representation (of_string accepts elements higher than the modulus)
- [14:55:45.292] [SUCCESS] (262/324) Fr: String representation (consistency of_string to_string with test vectors)
- [14:55:45.292] [SUCCESS] (263/324) Fr: String representation (zero)
- [14:55:45.292] [SUCCESS] (264/324) Fr: Value generation for field of order 5243587517512619047944774050818596583769055250052763782260365869 (zero)
- [14:55:45.292] [SUCCESS] (265/324) Fr: Value generation for field of order 5243587517512619047944774050818596583769055250052763782260365869 (random)
- [14:55:45.292] [SUCCESS] (266/324) Fr: Value generation for field of order 5243587517512619047944774050818596583769055250052763782260365869 (non null random)
- [14:55:45.292] [SUCCESS] (267/324) Fr: Value generation for field of order 5243587517512619047944774050818596583769055250052763782260365869 (inverse_random_not_null)
- [14:55:45.292] [SUCCESS] (268/324) Fr: Value generation for field of order 5243587517512619047944774050818596583769055250052763782260365869 (negate_with_one)
- [14:55:45.292] [SUCCESS] (269/324) Fr: Value generation for field of order 5243587517512619047944774050818596583769055250052763782260365869 (negate_with_zero)
- [14:55:45.292] [SUCCESS] (270/324) Fr: Value generation for field of order 5243587517512619047944774050818596583769055250052763782260365869 (double_with_one)
- [14:55:45.292] [SUCCESS] (271/324) Fr: Value generation for field of order 5243587517512619047944774050818596583769055250052763782260365869 (double_with_zero)
- [14:55:45.292] [SUCCESS] (272/324) Fr: Value generation for field of order 5243587517512619047944774050818596583769055250052763782260365869 (double_with_random)
- [14:55:45.292] [SUCCESS] (273/324) Fr: Value generation for field of order 5243587517512619047944774050818596583769055250052763782260365869 (square_with_one)
- [14:55:45.292] [SUCCESS] (274/324) Fr: Value generation for field of order 5243587517512619047944774050818596583769055250052763782260365869 (square_with_random)
- [14:55:45.292] [SUCCESS] (275/324) Fr: Value generation for field of order 5243587517512619047944774050818596583769055250052763782260365869 (negate_with_random)
- [14:55:45.292] [SUCCESS] (276/324) Fr: Value generation for field of order 5243587517512619047944774050818596583769055250052763782260365869 (double_is_same_than_multiply_by_same_element)
- [14:55:45.292] [SUCCESS] (277/324) Fr: Value generation for field of order 5243587517512619047944774050818596583769055250052763782260365869 (inverse_one)
- [14:55:45.292] [SUCCESS] (278/324) Fr: is_zero for field of order 5243587517512619047944774050818596583769055250052763782260365869993858118 (with zero value)
- [14:55:45.292] [SUCCESS] (279/324) Fr: is_zero for field of order 5243587517512619047944774050818596583769055250052763782260365869993858118 (with random value)
- [14:55:45.292] [SUCCESS] (280/324) Fr: Equality for field of order 524358751751261904794477405081859658376905525005276378226036586999385811 (zero_same_objects)
- [14:55:45.292] [SUCCESS] (281/324) Fr: Equality for field of order 524358751751261904794477405081859658376905525005276378226036586999385811 (one_same_objects)
- [14:55:45.292] [SUCCESS] (282/324) Fr: Equality for field of order 524358751751261904794477405081859658376905525005276378226036586999385811 (random_same_objects)
- [14:55:45.292] [SUCCESS] (283/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (zero_nullifier_one)
- [14:55:45.292] [SUCCESS] (284/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (zero_nullifier_zero)
- [14:55:45.292] [SUCCESS] (285/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (zero_nullifier_random)
- [14:55:45.292] [SUCCESS] (286/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (inverse_of_non_null_does_exist)
- [14:55:45.292] [SUCCESS] (287/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (inverse_of_one_is_one)
- [14:55:45.292] [SUCCESS] (288/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (zero_has_no_inverse)
- [14:55:45.292] [SUCCESS] (289/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (inverse_of_inverse)
- [14:55:45.292] [SUCCESS] (290/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (opposite_of_opposite)
- [14:55:45.292] [SUCCESS] (291/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (opposite_of_zero_is_zero)
- [14:55:45.292] [SUCCESS] (292/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (additive_associativity)
- [14:55:45.292] [SUCCESS] (293/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (distributivity)
- [14:55:45.292] [SUCCESS] (294/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (pow zero on random element equals one)
- [14:55:45.292] [SUCCESS] (295/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (pow zero on one equals one)
- [14:55:45.293] [SUCCESS] (296/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (pow one on random element equals the same element)
- [14:55:45.293] [SUCCESS] (297/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (pow two on random element equals the square)
- [14:55:45.293] [SUCCESS] (298/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (pow element to the additive group order)
- [14:55:45.293] [SUCCESS] (299/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (pow element to the multiplicative group order)
- [14:55:45.293] [SUCCESS] (300/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (pow element to a random power plus the additive group order)
- [14:55:45.293] [SUCCESS] (301/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (pow zero to zero is one)
- [14:55:45.293] [SUCCESS] (302/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (pow zero to non null exponent is zero)
- [14:55:45.293] [SUCCESS] (303/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (pow to negative exponent)
- [14:55:45.293] [SUCCESS] (304/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (opposite property)
- [14:55:45.293] [SUCCESS] (305/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (inverse property)
- [14:55:45.293] [SUCCESS] (306/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (pow addition property)
- [14:55:45.293] [SUCCESS] (307/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (sub definition)
- [14:55:45.293] [SUCCESS] (308/324) Fr: Field properties for field of order 5243587517512619047944774050818596583769055250052763782260365869 (multiplicative_associativity)
- [14:55:45.293] [SUCCESS] (309/324) Fr: Memory representation for field of order 52435875175126190479447740508185965837690552500527637822603 (to_bytes returns the correct number of bytes)
- [14:55:45.293] [SUCCESS] (310/324) Fr: Memory representation for field of order 52435875175126190479447740508185965837690552500527637822603 (to_bytes and of bytes are inverses)
- [14:55:45.294] [SUCCESS] (311/324) Fq12: Properties (pow one on random element equals the same element)
- [14:55:45.296] [SUCCESS] (312/324) Fq12: Properties (pow two on random element equals the square)
- [14:55:45.297] [SUCCESS] (313/324) Fq12: Properties (pow element to the additive group order)
- [14:55:45.298] [SUCCESS] (314/324) Fq12: Properties (pow element to the multiplicative group order)
- [14:55:45.317] [SUCCESS] (315/324) Fq12: Properties (pow element to a random power plus the additive group order)
- [14:55:48.185] [SUCCESS] (316/324) Fq12: Properties (pow to negative exponent)
- [14:55:48.186] [SUCCESS] (317/324) Fq12: is one (is_one with random value)
- [14:55:48.186] [SUCCESS] (318/324) Fq12: is one (is_one with zero)
- [14:55:48.186] [SUCCESS] (319/324) Fq12: is one (is_one with gt generator)
- [14:55:48.186] [SUCCESS] (320/324) Fq12: is one (is_one with gt zero)
- [14:55:48.186] [SUCCESS] (321/324) Fq12: is zero (is_zero with random value)
- [14:55:48.186] [SUCCESS] (322/324) Fq12: is zero (is_zero with zero)
- [14:55:48.186] [SUCCESS] (323/324) Fq12: is zero (is_zero with gt generator)
- [14:55:48.186] [SUCCESS] (324/324) Fq12: is zero (is_zero with gt zero)
-> compiled bls12-381.20.1
-> removed bls12-381.20.1
-> installed bls12-381.20.1
Done.
# To update the current shell environment, run: eval $(opam env)
2025-12-15 14:55.49 ---> saved as "f216f1a277e8d6475131e5454ccb7eff24b05837f549203e4b154f2e1b644388"
Job succeeded
2025-12-15 14:55.58: Job succeeded