Build:
- 0
2026-01-13 04:05.04: New job: test bls12-381-signature.1.0.0 with dune.3.21.0, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29216/head (001b427da21d4d746e124eaaffab7b4134813f6d)
on debian-13-ocaml-4.14/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/29216/head" && git reset --hard 001b427d
git fetch origin master
git merge --no-edit 1c361fac36225534ee877701522e296785f9a9db
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.14@sha256:d765b54c014ef238f3a84185055fd22f6a5e5bea6d6bbe9ec94a1c7ac9087afa
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.3.21.0 3.21.0
RUN opam reinstall dune.3.21.0; \
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.3.21.0' && 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-signature.1.0.0; \
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-signature.1.0.0' && 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-signature.1.0.0) || true
RUN opam reinstall --with-test --verbose bls12-381-signature.1.0.0; \
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-signature.1.0.0' && 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 .
2026-01-13 04:05.04: Using cache hint "ocaml/opam:debian-13-ocaml-4.14@sha256:d765b54c014ef238f3a84185055fd22f6a5e5bea6d6bbe9ec94a1c7ac9087afa-dune.3.21.0-bls12-381-signature.1.0.0-001b427da21d4d746e124eaaffab7b4134813f6d"
2026-01-13 04:05.04: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.14@sha256:d765b54c014ef238f3a84185055fd22f6a5e5bea6d6bbe9ec94a1c7ac9087afa)
(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.3.21.0 3.21.0"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall dune.3.21.0;\
\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.3.21.0' && 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-signature.1.0.0;\
\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-signature.1.0.0' && 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-signature.1.0.0) || true"))
(run (shell "opam reinstall --with-test --verbose bls12-381-signature.1.0.0;\
\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-signature.1.0.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2026-01-13 04:05.04: Waiting for resource in pool OCluster
2026-01-13 19:27.28: Waiting for worker…
2026-01-13 19:30.15: Got resource from pool OCluster
Building on laodoke.caelum.ci.dev
All commits already cached
Updating files: 69% (13366/19211)
Updating files: 70% (13448/19211)
Updating files: 71% (13640/19211)
Updating files: 72% (13832/19211)
Updating files: 73% (14025/19211)
Updating files: 74% (14217/19211)
Updating files: 75% (14409/19211)
Updating files: 76% (14601/19211)
Updating files: 77% (14793/19211)
Updating files: 78% (14985/19211)
Updating files: 79% (15177/19211)
Updating files: 80% (15369/19211)
Updating files: 81% (15561/19211)
Updating files: 82% (15754/19211)
Updating files: 83% (15946/19211)
Updating files: 84% (16138/19211)
Updating files: 85% (16330/19211)
Updating files: 86% (16522/19211)
Updating files: 87% (16714/19211)
Updating files: 88% (16906/19211)
Updating files: 89% (17098/19211)
Updating files: 90% (17290/19211)
Updating files: 91% (17483/19211)
Updating files: 92% (17675/19211)
Updating files: 93% (17867/19211)
Updating files: 94% (18059/19211)
Updating files: 95% (18251/19211)
Updating files: 96% (18443/19211)
Updating files: 97% (18635/19211)
Updating files: 98% (18827/19211)
Updating files: 99% (19019/19211)
Updating files: 100% (19211/19211)
Updating files: 100% (19211/19211), done.
HEAD is now at 1c361fac36 Merge pull request #29210 from dinosaure/release-miou-v0.5.1
Merge made by the 'ort' strategy.
packages/chrome-trace/chrome-trace.3.21.0/opam | 41 ++++++++++++
.../dune-action-plugin.3.21.0/opam | 54 ++++++++++++++++
.../dune-build-info/dune-build-info.3.21.0/opam | 47 ++++++++++++++
.../dune-configurator.3.21.0/opam | 51 +++++++++++++++
packages/dune-glob/dune-glob.3.21.0/opam | 44 +++++++++++++
.../dune-private-libs.3.21.0/opam | 52 +++++++++++++++
packages/dune-rpc-lwt/dune-rpc-lwt.3.21.0/opam | 43 +++++++++++++
packages/dune-rpc/dune-rpc.3.21.0/opam | 46 +++++++++++++
packages/dune-site/dune-site.3.21.0/opam | 39 +++++++++++
packages/dune/dune.3.21.0/opam | 75 ++++++++++++++++++++++
packages/dyn/dyn.3.21.0/opam | 42 ++++++++++++
packages/fs-io/fs-io.3.21.0/opam | 41 ++++++++++++
packages/ocamlc-loc/ocamlc-loc.3.21.0/opam | 45 +++++++++++++
packages/ordering/ordering.3.21.0/opam | 40 ++++++++++++
packages/stdune/stdune.3.21.0/opam | 48 ++++++++++++++
packages/top-closure/top-closure.3.21.0/opam | 40 ++++++++++++
packages/xdg/xdg.3.21.0/opam | 41 ++++++++++++
17 files changed, 789 insertions(+)
create mode 100644 packages/chrome-trace/chrome-trace.3.21.0/opam
create mode 100644 packages/dune-action-plugin/dune-action-plugin.3.21.0/opam
create mode 100644 packages/dune-build-info/dune-build-info.3.21.0/opam
create mode 100644 packages/dune-configurator/dune-configurator.3.21.0/opam
create mode 100644 packages/dune-glob/dune-glob.3.21.0/opam
create mode 100644 packages/dune-private-libs/dune-private-libs.3.21.0/opam
create mode 100644 packages/dune-rpc-lwt/dune-rpc-lwt.3.21.0/opam
create mode 100644 packages/dune-rpc/dune-rpc.3.21.0/opam
create mode 100644 packages/dune-site/dune-site.3.21.0/opam
create mode 100644 packages/dune/dune.3.21.0/opam
create mode 100644 packages/dyn/dyn.3.21.0/opam
create mode 100644 packages/fs-io/fs-io.3.21.0/opam
create mode 100644 packages/ocamlc-loc/ocamlc-loc.3.21.0/opam
create mode 100644 packages/ordering/ordering.3.21.0/opam
create mode 100644 packages/stdune/stdune.3.21.0/opam
create mode 100644 packages/top-closure/top-closure.3.21.0/opam
create mode 100644 packages/xdg/xdg.3.21.0/opam
(from ocaml/opam:debian-13-ocaml-4.14@sha256:d765b54c014ef238f3a84185055fd22f6a5e5bea6d6bbe9ec94a1c7ac9087afa)
2026-01-13 19:30.26 ---> using "2ecda48447fc68e8dcd256d2898af0a11126a077e05d747a0dcdff2845100de1" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2026-01-13 19:30.26 ---> using "79eb1218297339daa5e94be48ad16ae73f417b872defa106efeff5b5f3323e6e" 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.
Continue? [Y/n] y
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2026-01-13 19:30.26 ---> using "bf81485066c79fc9faf7a51b95869ba9d998fe2bf3de5ff7f59b253fc915122f" 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 71
# repositories 1 (version-controlled)
# pinned 1 (version)
# current-switch 4.14
# invariant ["ocaml-base-compiler" {= "4.14.2"}]
# compiler-packages ocaml-base-compiler.4.14.2, ocaml-options-vanilla.1
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/4.14/lib/ocaml/stublibs:/home/opam/.opam/4.14/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 4.14.2
2026-01-13 19:30.26 ---> using "f7c0c02658daf7a6d6c7671a8028e0e553264100bd569724894645b7844f6d7f" 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/"))
2026-01-13 19:30.26 ---> using "9b3e592c65565b9b3dc8b88c605e54ddba818eb105df981d794040a64c2f9916" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2026-01-13 19:30.28 ---> using "09c39d7126e88ed573ca8f78acbffb48c0088baecebf7a9155a91c3290ace20b" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2026-01-13 19:30.28 ---> using "1f9ebb837e22c3f42b1c3f6e7178a2aa2fcb8206685e62bba70fde550083c584" 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 trixie InRelease [140 kB]
- 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 trixie/main amd64 Packages [9670 kB]
- Get:5 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [95.5 kB]
- Fetched 9997 kB in 1s (7453 kB/s)
- Reading package lists...
-
2026-01-13 19:30.28 ---> using "bc5a313c83583d746179a868806b410c236b5a3d4895b7d8bc464eed6cfe706e" from cache
/home/opam: (run (shell "opam pin add -k version -yn dune.3.21.0 3.21.0"))
dune is now pinned to version 3.21.0
2026-01-13 19:30.28 ---> using "448b2b0e77526967dc1d84c9cd1fd4fdf010f08d862d127b94c63a52bbc324d1" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall dune.3.21.0;\
\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.3.21.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
dune.3.21.0 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 1 package
- install dune 3.21.0 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.21.0 (cached)
-> installed dune.3.21.0
Done.
# To update the current shell environment, run: eval $(opam env)
2026-01-13 19:30.28 ---> using "5acb627376dc8b6ecaceedd8635589b9dfb44ea06abcf3fc03092c3e94ea4126" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall bls12-381-signature.1.0.0;\
\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-signature.1.0.0' && 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-signature.1.0.0 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 29 packages
- install bls12-381 20.1 [required by bls12-381-signature]
- install bls12-381-signature 1.0.0
- 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.12.4 [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.16.1 [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 ... 20622 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 bls12-381-signature.1.0.0 (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)
-> installed conf-gmp.5
-> retrieved integers.0.7.0 (cached)
-> retrieved integers_stubs_js.1.0 (cached)
-> 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.12.4 (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)
-> installed ppx_derivers.1.2.1
-> installed menhirSdk.20250912
-> retrieved ppxlib.0.37.0 (cached)
-> retrieved sedlex.3.7 (cached)
-> retrieved seq.base (cached)
-> installed seq.base
-> 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.16.1 (cached)
-> installed ocaml-compiler-libs.v0.12.4
-> installed sexplib0.v0.17.0
-> installed zarith_stubs_js.v0.16.1
-> 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 menhir.20250912
-> installed ppxlib.0.37.0
-> 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
-> installed bls12-381-signature.1.0.0
Done.
# To update the current shell environment, run: eval $(opam env)
2026-01-13 19:33.21 ---> saved as "e16c0cc860b2556e11e5dd0889660fb3a0c590e9a56706707886af35b43a84e3"
/home/opam: (run (network host)
(shell "(opam reinstall --with-test bls12-381-signature.1.0.0) || true"))
The following actions will be performed:
=== downgrade 3 packages
- downgrade bls12-381 20.1 to 6.1.0 [required by bls12-381-signature]
- downgrade cmdliner 2.1.0 to 1.3.0 [required by alcotest, bisect_ppx]
- downgrade ppxlib 0.37.0 to 0.35.0 [required by bisect_ppx]
=== recompile 8 packages
- recompile bls12-381-signature 1.0.0
- recompile cstruct 6.2.0 [uses fmt]
- recompile fmt 0.11.0 [uses cmdliner]
- recompile hex 1.5.0 [uses cstruct]
- recompile integers_stubs_js 1.0 [uses js_of_ocaml]
- recompile js_of_ocaml 6.2.0 [uses js_of_ocaml-compiler]
- recompile js_of_ocaml-compiler 6.2.0 [uses cmdliner]
- recompile sedlex 3.7 [uses ppxlib]
=== upgrade 1 package
- upgrade zarith 1.13 to 1.14 [required by bls12-381]
=== install 7 packages
- install alcotest 1.9.1 [required by bls12-381-signature]
- install astring 0.8.5 [required by alcotest]
- install bisect_ppx 2.8.3 [required by bls12-381-signature]
- install conf-pkg-config 4 [required by zarith]
- install ocaml-syntax-shims 1.0.0 [required by alcotest]
- install re 1.14.0 [required by alcotest]
- install uutf 1.0.4 [required by alcotest]
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"
- 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 ... 20644 files and directories currently installed.)
- Preparing to unpack .../libpkgconf3_1.8.1-4_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../pkgconf-bin_1.8.1-4_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../pkgconf_1.8.1-4_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../pkg-config_1.8.1-4_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-4) ...
- Setting up libpkgconf3:amd64 (1.8.1-4) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up pkgconf:amd64 (1.8.1-4) ...
- Setting up pkg-config:amd64 (1.8.1-4) ...
- Processing triggers for libc-bin (2.41-12) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved alcotest.1.9.1 (https://opam.ocaml.org/cache)
-> retrieved astring.0.8.5 (https://opam.ocaml.org/cache)
-> retrieved bisect_ppx.2.8.3 (https://opam.ocaml.org/cache)
-> retrieved bls12-381.6.1.0 (https://opam.ocaml.org/cache)
-> retrieved bls12-381-signature.1.0.0 (https://opam.ocaml.org/cache)
-> retrieved cmdliner.1.3.0 (https://opam.ocaml.org/cache)
-> installed conf-pkg-config.4
-> retrieved cstruct.6.2.0 (https://opam.ocaml.org/cache)
-> retrieved fmt.0.11.0 (https://opam.ocaml.org/cache)
-> retrieved hex.1.5.0 (https://opam.ocaml.org/cache)
-> retrieved integers_stubs_js.1.0 (https://opam.ocaml.org/cache)
-> installed astring.0.8.5
-> retrieved js_of_ocaml.6.2.0, js_of_ocaml-compiler.6.2.0 (https://opam.ocaml.org/cache)
-> retrieved ocaml-syntax-shims.1.0.0 (https://opam.ocaml.org/cache)
-> retrieved ppxlib.0.35.0 (https://opam.ocaml.org/cache)
-> retrieved re.1.14.0 (https://opam.ocaml.org/cache)
-> retrieved sedlex.3.7 (https://opam.ocaml.org/cache)
-> retrieved uutf.1.0.4 (https://opam.ocaml.org/cache)
-> retrieved zarith.1.14 (https://opam.ocaml.org/cache)
-> installed ocaml-syntax-shims.1.0.0
-> installed re.1.14.0
-> removed bls12-381-signature.1.0.0
-> removed bls12-381.20.1
-> removed hex.1.5.0
-> removed cstruct.6.2.0
-> removed fmt.0.11.0
-> removed integers_stubs_js.1.0
-> removed js_of_ocaml.6.2.0
-> removed js_of_ocaml-compiler.6.2.0
-> removed cmdliner.2.1.0
-> removed sedlex.3.7
-> removed ppxlib.0.37.0
-> removed zarith.1.13
-> installed cmdliner.1.3.0
-> installed ppxlib.0.35.0
-> installed zarith.1.14
-> installed uutf.1.0.4
-> installed fmt.0.11.0
-> installed cstruct.6.2.0
-> installed hex.1.5.0
-> installed alcotest.1.9.1
-> installed bisect_ppx.2.8.3
-> installed sedlex.3.7
-> installed bls12-381.6.1.0
-> installed js_of_ocaml-compiler.6.2.0
-> installed js_of_ocaml.6.2.0
-> installed integers_stubs_js.1.0
-> installed bls12-381-signature.1.0.0
Done.
# To update the current shell environment, run: eval $(opam env)
2026-01-13 19:35.59 ---> saved as "afb34de24a845ed6d74955bba6a859014b891887d29570a03be3b4d8df4e34d5"
/home/opam: (run (shell "opam reinstall --with-test --verbose bls12-381-signature.1.0.0;\
\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-signature.1.0.0' && 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-signature 1.0.0
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/4: [bls12-381-signature.1.0.0: extract]
-> retrieved bls12-381-signature.1.0.0 (cached)
Processing 2/4: [bls12-381-signature: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-j" "71" "-p" "bls12-381-signature" "@install" (CWD=/home/opam/.opam/4.14/.opam-switch/build/bls12-381-signature.1.0.0)
Processing 2/4: [bls12-381-signature: dune runtest]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "runtest" "-p" "bls12-381-signature" "-j" "71" (CWD=/home/opam/.opam/4.14/.opam-switch/build/bls12-381-signature.1.0.0)
- (cd _build/default/test && ./test_aggregated_signature.exe)
- Testing `BLS Aggregated Signature'.
- This run has ID `YQB2KC7V'.
-
- [OK] minPk Properties for Basic 0 Verif...
- [OK] minPk Properties for Basic 1 Sign ...
- [OK] minPk Properties for Basic 2 Sign ...
- [OK] minPk Properties for Basic 3 Sign ...
- [OK] minPk Properties for Message augmentation 0 Verif...
- [OK] minPk Properties for Message augmentation 1 Sign ...
- [OK] minPk Properties for Message augmentation 2 Sign ...
- [OK] minPk Properties for Message augmentation 3 Sign ...
- [OK] minPk Properties for Proof of possession 0 Sign ...
- [OK] minPk Properties for Proof of possession 1 Sign ...
- [OK] minPk Properties for Proof of possession 2 Sign ...
- [OK] minPk Properties for Proof of possession 3 Sign ...
- [OK] minPk Properties for Proof of possession 4 Sign ...
- [OK] minPk Properties for Proof of possession 5 Sign ...
- [OK] minSig Properties for Basic 0 Verif...
- [OK] minSig Properties for Basic 1 Sign ...
- [OK] minSig Properties for Basic 2 Sign ...
- [OK] minSig Properties for Basic 3 Sign ...
- [OK] minSig Properties for Message augmentation 0 Verif...
- [OK] minSig Properties for Message augmentation 1 Sign ...
- [OK] minSig Properties for Message augmentation 2 Sign ...
- [OK] minSig Properties for Message augmentation 3 Sign ...
- [OK] minSig Properties for Proof of possession 0 Sign ...
- [OK] minSig Properties for Proof of possession 1 Sign ...
- [OK] minSig Properties for Proof of possession 2 Sign ...
- [OK] minSig Properties for Proof of possession 3 Sign ...
- [OK] minSig Properties for Proof of possession 4 Sign ...
- [OK] minSig Properties for Proof of possession 5 Sign ...
-
- Full test results in `~/.opam/4.14/.opam-switch/build/bls12-381-signature.1.0.0/_build/default/test/_build/_tests/BLS Aggregated Signature'.
- Test Successful in 6.766s. 28 tests run.
- (cd _build/default/test && ./test_signature.exe)
- Testing `BLS Signature'.
- This run has ID `3DV3ZLAP'.
-
- [OK] Common features to both instanciations 0 Size in bytes of sk....
- [OK] Common features to both instanciations 1 sk_of_bytes_opt and sk_to_bytes are inverse functions....
- [OK] Common features to both instanciations 2 sk_of_bytes_exn and sk_to_bytes are inverse functions....
- [OK] Common features to both instanciations 3 sk_of_bytes_opt valid values....
- [OK] Common features to both instanciations 4 sk_of_bytes_exn does not accept more than 32 bytes....
- [OK] Common features to both instanciations 5 sk_of_bytes_opt does not accept more than 32 bytes....
- [OK] Common features to both instanciations 6 sk_of_bytes_opt does not accept values higher than Fr modules but still on 32 bytes....
- [OK] Common features to both instanciations 7 sk_of_bytes_exn does not accept values higher than Fr modules but still on 32 bytes....
- [OK] Common features to both instanciations 8 sk_of_bytes_exn valid values....
- [OK] Common features to both instanciations 9 generate_sk raises Invalid_argument is ikm is smaller than 32 bytes....
- [OK] MinPk Size in bytes 0 pk....
- [OK] MinPk Size in bytes 1 signature....
- [OK] MinPk Auxiliary functions 0 unsafe_pk_of_bytes does no check on the input....
- [OK] MinPk Auxiliary functions 1 pk_of_bytes_exn accepts points in the subgroup and in compressed form....
- [OK] MinPk Auxiliary functions 2 pk_of_bytes_opt accepts points in the subgroup and in compressed form....
- [OK] MinPk Auxiliary functions 3 pk_of_bytes_exn does not accept points in the subgroup and in uncompressed form....
- [OK] MinPk Auxiliary functions 4 pk_of_bytes_opt does not accept points in the subgroup and in uncompressed form....
- [OK] MinPk Auxiliary functions 5 unsafe_pk_of_bytes copies the input....
- [OK] MinPk Auxiliary functions 6 pk_of_bytes_exn copies the input....
- [OK] MinPk Auxiliary functions 7 pk_of_bytes_opt copies the input....
- [OK] MinPk Auxiliary functions 8 unsafe_pk_of_bytes accepts points not in the subgroup....
- [OK] MinPk Auxiliary functions 9 pk_of_bytes_exn does check the input....
- [OK] MinPk Auxiliary functions 10 pk_of_bytes_opt and pk_to_bytes are inverse functions on valid inputs....
- [OK] MinPk Auxiliary functions 11 unsafe_pk_of_bytes and pk_to_bytes are inverse functions on valid inputs....
- [OK] MinPk Auxiliary functions 12 pk_of_bytes_exn and pk_to_bytes are inverse functions on valid inputs....
- [OK] MinPk Auxiliary functions 13 unsafe_pk_of_bytes and pk_to_bytes are inverse functions on any valid input....
- [OK] MinPk Auxiliary functions 14 pk_of_bytes_exn does verify the input represents a point in the subgroup....
- [OK] MinPk Auxiliary functions 15 pk_of_bytes_opt does verify the input represents a point in the subgroup....
- [OK] MinPk Auxiliary functions 16 pk_of_bytes_opt does check the input....
- [OK] MinPk Auxiliary functions 17 unsafe_signature_of_bytes does no check on the input....
- [OK] MinPk Auxiliary functions 18 signature_of_bytes_exn accepts points in the subgroup and in compressed form....
- [OK] MinPk Auxiliary functions 19 signature_of_bytes_opt accepts points in the subgroup and in compressed form....
- [OK] MinPk Auxiliary functions 20 signature_of_bytes_exn does not accept points in the subgroup and in uncompressed form....
- [OK] MinPk Auxiliary functions 21 signature_of_bytes_opt does not accept points in the subgroup and in uncompressed form....
- [OK] MinPk Auxiliary functions 22 unsafe_signature_of_bytes copies the input....
- [OK] MinPk Auxiliary functions 23 signature_of_bytes_exn copies the input....
- [OK] MinPk Auxiliary functions 24 signature_of_bytes_opt copies the input....
- [OK] MinPk Auxiliary functions 25 unsafe_signature_of_bytes accepts points not in the subgroup....
- [OK] MinPk Auxiliary functions 26 signature_of_bytes_exn does check the input....
- [OK] MinPk Auxiliary functions 27 signature_of_bytes_opt and signature_to_bytes are inverse functions on valid inputs....
- [OK] MinPk Auxiliary functions 28 unsafe_signature_of_bytes and signature_to_bytes are inverse functions on valid inputs....
- [OK] MinPk Auxiliary functions 29 signature_of_bytes_exn and signature_to_bytes are inverse functions on valid inputs....
- [OK] MinPk Auxiliary functions 30 unsafe_signature_of_bytes and signature_to_bytes are inverse functions on any valid input....
- [OK] MinPk Auxiliary functions 31 signature_of_bytes_exn does verify the input represents a point in the subgroup....
- [OK] MinPk Auxiliary functions 32 signature_of_bytes_opt does verify the input represents a point in the subgroup....
- [OK] MinPk Auxiliary functions 33 signature_of_bytes_opt does check the input....
- [OK] MinPk Properties and test vectors for Basic 0 Sign and verify same message with correct keys....
- [OK] MinPk Properties and test vectors for Basic 1 Sign and verify different message with correct keys....
- [OK] MinPk Properties and test vectors for Basic 2 Sign and verify same message with different keys....
- [OK] MinPk Properties and test vectors for Basic 3 Sign and verify different message with different keys....
- [OK] MinPk Properties and test vectors for Basic 4 Test full sign and verify with different ikm sizes....
- [OK] MinPk Properties and test vectors for Basic 5 Sign and verify with a pk not in the prime subgroup....
- [OK] MinPk Properties and test vectors for Basic 6 Test vectors from bls_sigs_ref....
- [OK] MinPk Properties and test vectors for Message augmentation 0 Sign and verify same message with correct keys....
- [OK] MinPk Properties and test vectors for Message augmentation 1 Sign and verify different message with correct keys....
- [OK] MinPk Properties and test vectors for Message augmentation 2 Sign and verify same message with different keys....
- [OK] MinPk Properties and test vectors for Message augmentation 3 Sign and verify different message with different keys....
- [OK] MinPk Properties and test vectors for Message augmentation 4 Test full sign and verify with different ikm sizes....
- [OK] MinPk Properties and test vectors for Message augmentation 5 Sign and verify with a pk not in the prime subgroup....
- [OK] MinPk Properties and test vectors for Message augmentation 6 Test vectors from bls_sigs_ref....
- [OK] MinPk Properties and test vectors for Proof of possession 0 Sign and verify same message with correct keys....
- [OK] MinPk Properties and test vectors for Proof of possession 1 Sign and verify different message with correct keys....
- [OK] MinPk Properties and test vectors for Proof of possession 2 Sign and verify same message with different keys....
- [OK] MinPk Properties and test vectors for Proof of possession 3 Sign and verify different message with different keys....
- [OK] MinPk Properties and test vectors for Proof of possession 4 Test full sign and verify with different ikm sizes....
- [OK] MinPk Properties and test vectors for Proof of possession 5 Sign and verify with a pk not in the prime subgroup....
- [OK] MinPk Properties and test vectors for Proof of possession 6 Test vectors from bls_sigs_ref....
- [OK] MinPk Proof of possession proof/verify properties and test vectors 0 Pop G2 from file....
- [OK] MinPk Proof of possession proof/verify properties and test vectors 1 Prove and verify with correct keys....
- [OK] MinPk Proof of possession proof/verify properties and test vectors 2 Prove and verify with different pk for verify....
- [OK] MinPk Proof of possession proof/verify properties and test vectors 3 Verify random proof....
- [OK] MinSig Size in bytes 0 pk....
- [OK] MinSig Size in bytes 1 signature....
- [OK] MinSig Auxiliary functions 0 unsafe_pk_of_bytes does no check on the input....
- [OK] MinSig Auxiliary functions 1 pk_of_bytes_exn accepts points in the subgroup and in compressed form....
- [OK] MinSig Auxiliary functions 2 pk_of_bytes_opt accepts points in the subgroup and in compressed form....
- [OK] MinSig Auxiliary functions 3 pk_of_bytes_exn does not accept points in the subgroup and in uncompressed form....
- [OK] MinSig Auxiliary functions 4 pk_of_bytes_opt does not accept points in the subgroup and in uncompressed form....
- [OK] MinSig Auxiliary functions 5 unsafe_pk_of_bytes copies the input....
- [OK] MinSig Auxiliary functions 6 pk_of_bytes_exn copies the input....
- [OK] MinSig Auxiliary functions 7 pk_of_bytes_opt copies the input....
- [OK] MinSig Auxiliary functions 8 unsafe_pk_of_bytes accepts points not in the subgroup....
- [OK] MinSig Auxiliary functions 9 pk_of_bytes_exn does check the input....
- [OK] MinSig Auxiliary functions 10 pk_of_bytes_opt and pk_to_bytes are inverse functions on valid inputs....
- [OK] MinSig Auxiliary functions 11 unsafe_pk_of_bytes and pk_to_bytes are inverse functions on valid inputs....
- [OK] MinSig Auxiliary functions 12 pk_of_bytes_exn and pk_to_bytes are inverse functions on valid inputs....
- [OK] MinSig Auxiliary functions 13 unsafe_pk_of_bytes and pk_to_bytes are inverse functions on any valid input....
- [OK] MinSig Auxiliary functions 14 pk_of_bytes_exn does verify the input represents a point in the subgroup....
- [OK] MinSig Auxiliary functions 15 pk_of_bytes_opt does verify the input represents a point in the subgroup....
- [OK] MinSig Auxiliary functions 16 pk_of_bytes_opt does check the input....
- [OK] MinSig Auxiliary functions 17 unsafe_signature_of_bytes does no check on the input....
- [OK] MinSig Auxiliary functions 18 signature_of_bytes_exn accepts points in the subgroup and in compressed form....
- [OK] MinSig Auxiliary functions 19 signature_of_bytes_opt accepts points in the subgroup and in compressed form....
- [OK] MinSig Auxiliary functions 20 signature_of_bytes_exn does not accept points in the subgroup and in uncompressed form....
- [OK] MinSig Auxiliary functions 21 signature_of_bytes_opt does not accept points in the subgroup and in uncompressed form....
- [OK] MinSig Auxiliary functions 22 unsafe_signature_of_bytes copies the input....
- [OK] MinSig Auxiliary functions 23 signature_of_bytes_exn copies the input....
- [OK] MinSig Auxiliary functions 24 signature_of_bytes_opt copies the input....
- [OK] MinSig Auxiliary functions 25 unsafe_signature_of_bytes accepts points not in the subgroup....
- [OK] MinSig Auxiliary functions 26 signature_of_bytes_exn does check the input....
- [OK] MinSig Auxiliary functions 27 signature_of_bytes_opt and signature_to_bytes are inverse functions on valid inputs....
- [OK] MinSig Auxiliary functions 28 unsafe_signature_of_bytes and signature_to_bytes are inverse functions on valid inputs....
- [OK] MinSig Auxiliary functions 29 signature_of_bytes_exn and signature_to_bytes are inverse functions on valid inputs....
- [OK] MinSig Auxiliary functions 30 unsafe_signature_of_bytes and signature_to_bytes are inverse functions on any valid input....
- [OK] MinSig Auxiliary functions 31 signature_of_bytes_exn does verify the input represents a point in the subgroup....
- [OK] MinSig Auxiliary functions 32 signature_of_bytes_opt does verify the input represents a point in the subgroup....
- [OK] MinSig Auxiliary functions 33 signature_of_bytes_opt does check the input....
- [OK] MinSig Properties and test vectors for Basic 0 Sign and verify same message with correct keys....
- [OK] MinSig Properties and test vectors for Basic 1 Sign and verify different message with correct keys....
- [OK] MinSig Properties and test vectors for Basic 2 Sign and verify same message with different keys....
- [OK] MinSig Properties and test vectors for Basic 3 Sign and verify different message with different keys....
- [OK] MinSig Properties and test vectors for Basic 4 Test full sign and verify with different ikm sizes....
- [OK] MinSig Properties and test vectors for Basic 5 Sign and verify with a pk not in the prime subgroup....
- [OK] MinSig Properties and test vectors for Basic 6 Test vectors from bls_sigs_ref....
- [OK] MinSig Properties and test vectors for Message augmentation 0 Sign and verify same message with correct keys....
- [OK] MinSig Properties and test vectors for Message augmentation 1 Sign and verify different message with correct keys....
- [OK] MinSig Properties and test vectors for Message augmentation 2 Sign and verify same message with different keys....
- [OK] MinSig Properties and test vectors for Message augmentation 3 Sign and verify different message with different keys....
- [OK] MinSig Properties and test vectors for Message augmentation 4 Test full sign and verify with different ikm sizes....
- [OK] MinSig Properties and test vectors for Message augmentation 5 Sign and verify with a pk not in the prime subgroup....
- [OK] MinSig Properties and test vectors for Message augmentation 6 Test vectors from bls_sigs_ref....
- [OK] MinSig Properties and test vectors for Proof of possession 0 Sign and verify same message with correct keys....
- [OK] MinSig Properties and test vectors for Proof of possession 1 Sign and verify different message with correct keys....
- [OK] MinSig Properties and test vectors for Proof of possession 2 Sign and verify same message with different keys....
- [OK] MinSig Properties and test vectors for Proof of possession 3 Sign and verify different message with different keys....
- [OK] MinSig Properties and test vectors for Proof of possession 4 Test full sign and verify with different ikm sizes....
- [OK] MinSig Properties and test vectors for Proof of possession 5 Sign and verify with a pk not in the prime subgroup....
- [OK] MinSig Properties and test vectors for Proof of possession 6 Test vectors from bls_sigs_ref....
- [OK] MinSig Proof of possession proof/verify properties and test vectors 0 Pop G2 from file....
- [OK] MinSig Proof of possession proof/verify properties and test vectors 1 Prove and verify with correct keys....
- [OK] MinSig Proof of possession proof/verify properties and test vectors 2 Prove and verify with different pk for verify....
- [OK] MinSig Proof of possession proof/verify properties and test vectors 3 Verify random proof....
-
- Full test results in `~/.opam/4.14/.opam-switch/build/bls12-381-signature.1.0.0/_build/default/test/_build/_tests/BLS Signature'.
- Test Successful in 16.241s. 132 tests run.
-> compiled bls12-381-signature.1.0.0
-> removed bls12-381-signature.1.0.0
-> installed bls12-381-signature.1.0.0
Done.
# To update the current shell environment, run: eval $(opam env)
2026-01-13 19:36.25 ---> saved as "bc437e290f39cc497aa1e759c05be54f91ace53e47c2afd21048fa7d8be9583b"
Job succeeded
2026-01-13 19:36.47: Job succeeded