Build:
- 0
2026-11-09 09:00.49: New job: docker build {
"commit": "d072d14afccc7a99076637feb77684ee64a9c889",
"dockerfile": {
"file": "./Dockerfile"
},
"docker_context": null,
"squash": false,
"buildx": false,
"build_args": [],
"path": null
}
2026-11-09 09:00.49: Checking out commit d072d14a. To reproduce:
git clone --recursive "https://github.com/rocq-prover/rocq-prover.org.git" -b "broken-links" && cd "rocq-prover.org" && git reset --hard d072d14a
2026-11-09 09:00.49: Exec: "cp" "-a" "--" "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0/.git"
"/tmp/git-checkout25132688"
2026-11-09 09:00.58: Exec: "git" "-C" "/tmp/git-checkout25132688" "submodule"
"deinit" "--force" "--all"
2026-11-09 09:00.58: Exec: "git" "-C" "/tmp/git-checkout25132688" "reset"
"--hard" "-q" "d072d14afccc7a99076637feb77684ee64a9c889"
2026-11-09 09:00.59: Exec: "git" "-c" "protocol.file.allow=always" "-C"
"/tmp/git-checkout25132688" "submodule" "update"
"--recursive" "--init" "--no-fetch"
2026-11-09 09:00.59: Exec: "docker" "build" "--pull" "-f" "/tmp/git-checkout25132688/./Dockerfile"
"--iidfile" "/tmp/git-checkout25132688/docker-iid"
"--" "/tmp/git-checkout25132688"
Sending build context to Docker daemon 371.3MB
Step 1/41 : FROM ocaml/opam:alpine-3.24-ocaml-5.2 AS build
alpine-3.24-ocaml-5.2: Pulling from ocaml/opam
881fc932939e: Pulling fs layer
0edb2fdfc066: Pulling fs layer
19681af47db5: Pulling fs layer
83625e3f2745: Pulling fs layer
6b48053080c6: Pulling fs layer
67a46f47f251: Pulling fs layer
418ceac21440: Pulling fs layer
580a6284e516: Pulling fs layer
ef0f947ff17b: Pulling fs layer
83625e3f2745: Waiting
6b48053080c6: Waiting
bb84f08b6038: Pulling fs layer
961758a8e736: Pulling fs layer
b80a37b3b4b0: Pulling fs layer
6a4fce92d149: Pulling fs layer
e50fd47e19cb: Pulling fs layer
e2a5244b617d: Pulling fs layer
290e47de03ad: Pulling fs layer
67a46f47f251: Waiting
418ceac21440: Waiting
580a6284e516: Waiting
ef0f947ff17b: Waiting
bb84f08b6038: Waiting
961758a8e736: Waiting
b80a37b3b4b0: Waiting
6a4fce92d149: Waiting
e50fd47e19cb: Waiting
e2a5244b617d: Waiting
290e47de03ad: Waiting
8b2936fa7d63: Pulling fs layer
4f4fb700ef54: Pulling fs layer
13ffb111a409: Pulling fs layer
6b1c96b66888: Pulling fs layer
1c02b66d24bd: Pulling fs layer
4cc53f09db13: Pulling fs layer
1f5aca051176: Pulling fs layer
fc934775cb56: Pulling fs layer
134a0c521885: Pulling fs layer
6b3aaeceea1e: Pulling fs layer
223793da0890: Pulling fs layer
3539aed7eab8: Pulling fs layer
02d4eab5baa2: Pulling fs layer
c247b0c80aea: Pulling fs layer
28ddb293a5b4: Pulling fs layer
6ef46a1aad6e: Pulling fs layer
8b2936fa7d63: Waiting
4f4fb700ef54: Waiting
13ffb111a409: Waiting
6b1c96b66888: Waiting
1c02b66d24bd: Waiting
4cc53f09db13: Waiting
1f5aca051176: Waiting
fc934775cb56: Waiting
134a0c521885: Waiting
6b3aaeceea1e: Waiting
223793da0890: Waiting
3539aed7eab8: Waiting
02d4eab5baa2: Waiting
c247b0c80aea: Waiting
28ddb293a5b4: Waiting
6ef46a1aad6e: Waiting
b3c40cc66f2c: Pulling fs layer
a7c136694185: Pulling fs layer
202a8b8c8efa: Pulling fs layer
b67fa4815c38: Pulling fs layer
9209c6dbd1bb: Pulling fs layer
2a6a2597f899: Pulling fs layer
b3c40cc66f2c: Waiting
a7c136694185: Waiting
202a8b8c8efa: Waiting
b67fa4815c38: Waiting
9209c6dbd1bb: Waiting
91067cf0cae7: Pulling fs layer
caf38d92bb7c: Pulling fs layer
0868a1586f02: Pulling fs layer
555c39228587: Pulling fs layer
53822c54f9a5: Pulling fs layer
2a6a2597f899: Waiting
91067cf0cae7: Waiting
caf38d92bb7c: Waiting
0868a1586f02: Waiting
555c39228587: Waiting
53822c54f9a5: Waiting
881fc932939e: Verifying Checksum
881fc932939e: Download complete
0edb2fdfc066: Verifying Checksum
0edb2fdfc066: Download complete
881fc932939e: Pull complete
0edb2fdfc066: Pull complete
19681af47db5: Verifying Checksum
19681af47db5: Download complete
19681af47db5: Pull complete
6b48053080c6: Verifying Checksum
6b48053080c6: Download complete
67a46f47f251: Verifying Checksum
67a46f47f251: Download complete
418ceac21440: Verifying Checksum
418ceac21440: Download complete
580a6284e516: Verifying Checksum
580a6284e516: Download complete
ef0f947ff17b: Verifying Checksum
ef0f947ff17b: Download complete
83625e3f2745: Verifying Checksum
83625e3f2745: Download complete
bb84f08b6038: Verifying Checksum
bb84f08b6038: Download complete
961758a8e736: Verifying Checksum
961758a8e736: Download complete
b80a37b3b4b0: Verifying Checksum
b80a37b3b4b0: Download complete
6a4fce92d149: Verifying Checksum
6a4fce92d149: Download complete
e50fd47e19cb: Verifying Checksum
e50fd47e19cb: Download complete
e2a5244b617d: Verifying Checksum
e2a5244b617d: Download complete
290e47de03ad: Download complete
4f4fb700ef54: Verifying Checksum
4f4fb700ef54: Download complete
8b2936fa7d63: Verifying Checksum
8b2936fa7d63: Download complete
13ffb111a409: Verifying Checksum
13ffb111a409: Download complete
6b1c96b66888: Verifying Checksum
6b1c96b66888: Download complete
1c02b66d24bd: Verifying Checksum
1c02b66d24bd: Download complete
4cc53f09db13: Verifying Checksum
4cc53f09db13: Download complete
1f5aca051176: Verifying Checksum
1f5aca051176: Download complete
fc934775cb56: Verifying Checksum
fc934775cb56: Download complete
134a0c521885: Verifying Checksum
134a0c521885: Download complete
6b3aaeceea1e: Verifying Checksum
6b3aaeceea1e: Download complete
223793da0890: Verifying Checksum
223793da0890: Download complete
3539aed7eab8: Verifying Checksum
3539aed7eab8: Download complete
02d4eab5baa2: Verifying Checksum
02d4eab5baa2: Download complete
c247b0c80aea: Verifying Checksum
c247b0c80aea: Download complete
28ddb293a5b4: Verifying Checksum
28ddb293a5b4: Download complete
b3c40cc66f2c: Verifying Checksum
b3c40cc66f2c: Download complete
202a8b8c8efa: Verifying Checksum
202a8b8c8efa: Download complete
83625e3f2745: Pull complete
6b48053080c6: Pull complete
b67fa4815c38: Verifying Checksum
b67fa4815c38: Download complete
67a46f47f251: Pull complete
9209c6dbd1bb: Verifying Checksum
9209c6dbd1bb: Download complete
418ceac21440: Pull complete
580a6284e516: Pull complete
ef0f947ff17b: Pull complete
bb84f08b6038: Pull complete
2a6a2597f899: Verifying Checksum
2a6a2597f899: Download complete
961758a8e736: Pull complete
b80a37b3b4b0: Pull complete
6a4fce92d149: Pull complete
e50fd47e19cb: Pull complete
e2a5244b617d: Pull complete
91067cf0cae7: Verifying Checksum
91067cf0cae7: Download complete
290e47de03ad: Pull complete
8b2936fa7d63: Pull complete
4f4fb700ef54: Pull complete
13ffb111a409: Pull complete
6b1c96b66888: Pull complete
1c02b66d24bd: Pull complete
4cc53f09db13: Pull complete
1f5aca051176: Pull complete
fc934775cb56: Pull complete
134a0c521885: Pull complete
6b3aaeceea1e: Pull complete
223793da0890: Pull complete
3539aed7eab8: Pull complete
a7c136694185: Verifying Checksum
a7c136694185: Download complete
02d4eab5baa2: Pull complete
0868a1586f02: Verifying Checksum
0868a1586f02: Download complete
6ef46a1aad6e: Verifying Checksum
6ef46a1aad6e: Download complete
c247b0c80aea: Pull complete
555c39228587: Verifying Checksum
555c39228587: Download complete
53822c54f9a5: Verifying Checksum
53822c54f9a5: Download complete
28ddb293a5b4: Pull complete
caf38d92bb7c: Verifying Checksum
caf38d92bb7c: Download complete
6ef46a1aad6e: Pull complete
b3c40cc66f2c: Pull complete
a7c136694185: Pull complete
202a8b8c8efa: Pull complete
b67fa4815c38: Pull complete
9209c6dbd1bb: Pull complete
2a6a2597f899: Pull complete
91067cf0cae7: Pull complete
caf38d92bb7c: Pull complete
0868a1586f02: Pull complete
555c39228587: Pull complete
53822c54f9a5: Pull complete
Digest: sha256:75918aad2a936b4887b68c1ce983a273140f55f19f7ad7a8ba17f5a2db3e4fce
Status: Downloaded newer image for ocaml/opam:alpine-3.24-ocaml-5.2
---> c0fc5dd33bbb
Step 2/41 : RUN sudo apk -U upgrade --no-cache && sudo apk add --no-cache autoconf curl-dev gmp-dev inotify-tools libev-dev oniguruma-dev openssl-dev
---> Running in 750f4654efeb
(1/1) Upgrading rsync (3.5.2-r0 -> 3.5.2-r1)
Executing busybox-1.37.0-r31.trigger
OK: 339.9 MiB in 105 packages
( 1/24) Installing m4 (1.4.20-r1)
( 2/24) Installing perl (5.42.3-r0)
( 3/24) Installing autoconf (2.73-r0)
( 4/24) Installing brotli (1.2.1-r0)
( 5/24) Installing brotli-dev (1.2.1-r0)
( 6/24) Installing c-ares-dev (1.34.9-r0)
( 7/24) Installing libidn2-dev (2.3.8-r0)
( 8/24) Installing libpsl-utils (0.21.5-r3)
( 9/24) Installing libpsl-dev (0.21.5-r3)
(10/24) Installing nghttp2-dev (1.70.0-r0)
(11/24) Installing openssl-dev (3.5.9-r0)
(12/24) Installing zlib-dev (1.4-r0)
(13/24) Installing curl-dev (8.23.0-r0)
(14/24) Installing perl-error (0.17030-r0)
(15/24) Installing perl-git (2.54.0-r0)
(16/24) Installing git-perl (2.54.0-r0)
(17/24) Installing libgmpxx (6.3.0-r4)
(18/24) Installing gmp-dev (6.3.0-r4)
(19/24) Installing inotify-tools-libs (4.23.9.0-r0)
(20/24) Installing inotify-tools (4.23.9.0-r0)
(21/24) Installing libev (4.33-r1)
(22/24) Installing libev-dev (4.33-r1)
(23/24) Installing oniguruma (6.9.10-r0)
(24/24) Installing oniguruma-dev (6.9.10-r0)
Executing busybox-1.37.0-r31.trigger
OK: 387.6 MiB in 129 packages
Removing intermediate container 750f4654efeb
---> d7425b154f72
Step 3/41 : RUN sudo mv /usr/bin/opam-2.2 /usr/bin/opam && opam update
---> Running in a8737cf7de76
This development version of opam requires an update to the layout of /home/opam/.opam from version 2.1 to version 2.2, which can't be reverted.
You may want to back it up before going further.
Continue? [y/n] y
[NOTE] The 'jobs' option was reset, its value was 1 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=1 --global
Format upgrade done.
<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] no changes from git+file:///home/opam/opam-repository
Removing intermediate container a8737cf7de76
---> 85e67b213526
Step 4/41 : RUN opam option --global 'archive-mirrors+="https://opam.ocaml.org/cache"'
---> Running in a8224c191922
Added '"https://opam.ocaml.org/cache"' to field archive-mirrors in global configuration
Removing intermediate container a8224c191922
---> 76a775523304
Step 5/41 : RUN cd ~/opam-repository && git reset --hard 8cdfa3296d9bc7d93273f46eb2438757e4fd5cf0 && opam update
---> Running in d95cd99abd73
Updating files: 32% (6297/19646)
Updating files: 33% (6484/19646)
Updating files: 34% (6680/19646)
Updating files: 35% (6877/19646)
Updating files: 36% (7073/19646)
Updating files: 37% (7270/19646)
Updating files: 38% (7466/19646)
Updating files: 39% (7662/19646)
Updating files: 40% (7859/19646)
Updating files: 41% (8055/19646)
Updating files: 42% (8252/19646)
Updating files: 43% (8448/19646)
Updating files: 44% (8645/19646)
Updating files: 45% (8841/19646)
Updating files: 46% (9038/19646)
Updating files: 47% (9234/19646)
Updating files: 48% (9431/19646)
Updating files: 49% (9627/19646)
Updating files: 50% (9823/19646)
Updating files: 51% (10020/19646)
Updating files: 52% (10216/19646)
Updating files: 53% (10413/19646)
Updating files: 54% (10609/19646)
Updating files: 55% (10806/19646)
Updating files: 56% (11002/19646)
Updating files: 57% (11199/19646)
Updating files: 58% (11395/19646)
Updating files: 59% (11592/19646)
Updating files: 60% (11788/19646)
Updating files: 61% (11985/19646)
Updating files: 62% (12181/19646)
Updating files: 63% (12377/19646)
Updating files: 64% (12574/19646)
Updating files: 65% (12770/19646)
Updating files: 65% (12779/19646)
Updating files: 66% (12967/19646)
Updating files: 67% (13163/19646)
Updating files: 68% (13360/19646)
Updating files: 69% (13556/19646)
Updating files: 70% (13753/19646)
Updating files: 71% (13949/19646)
Updating files: 72% (14146/19646)
Updating files: 73% (14342/19646)
Updating files: 74% (14539/19646)
Updating files: 75% (14735/19646)
Updating files: 76% (14931/19646)
Updating files: 77% (15128/19646)
Updating files: 78% (15324/19646)
Updating files: 79% (15521/19646)
Updating files: 80% (15717/19646)
Updating files: 81% (15914/19646)
Updating files: 82% (16110/19646)
Updating files: 83% (16307/19646)
Updating files: 84% (16503/19646)
Updating files: 85% (16700/19646)
Updating files: 86% (16896/19646)
Updating files: 87% (17093/19646)
Updating files: 88% (17289/19646)
Updating files: 89% (17485/19646)
Updating files: 90% (17682/19646)
Updating files: 91% (17878/19646)
Updating files: 92% (18075/19646)
Updating files: 93% (18271/19646)
Updating files: 94% (18468/19646)
Updating files: 95% (18664/19646)
Updating files: 96% (18861/19646)
Updating files: 97% (19057/19646)
Updating files: 98% (19254/19646)
Updating files: 99% (19450/19646)
Updating files: 100% (19646/19646)
Updating files: 100% (19646/19646), done.
HEAD is now at 8cdfa3296d Merge pull request #30765 from ab-tools/keynub-licdongle-1.1.1
<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from git+file:///home/opam/opam-repository
default (at git+file:///home/opam/opam-repository):
[WARNING] opam >= 2.5.2 includes important security fixes; please consider upgrading (https://opam.ocaml.org/doc/Install.html)
Now run 'opam upgrade' to apply any package updates.
Removing intermediate container d95cd99abd73
---> 481504155045
Step 6/41 : WORKDIR /home/opam
---> Running in 36ae24759b6c
Removing intermediate container 36ae24759b6c
---> 9dccdb66cc33
Step 7/41 : COPY --chown=opam rocqproverorg.opam .
---> 96dff3616427
Step 8/41 : RUN OPAMSOLVERTIMEOUT=300 opam install . --deps-only
---> Running in b12b71c9f754
The following additional pinnings are required by rocqproverorg.dev:
- gluten.0.5.2 at git+https://github.com/mtelvers/gluten.git#8cbce6d903b3e779b1fc3f505ae8702d858ad3a2
- gluten-lwt.0.5.2 at git+https://github.com/mtelvers/gluten.git#8cbce6d903b3e779b1fc3f505ae8702d858ad3a2
- gluten-lwt-unix.0.5.2 at git+https://github.com/mtelvers/gluten.git#8cbce6d903b3e779b1fc3f505ae8702d858ad3a2
Pin and install them? [y/n] y
[gluten.0.5.2] synchronised (no changes)
gluten is now pinned to git+https://github.com/mtelvers/gluten.git#8cbce6d903b3e779b1fc3f505ae8702d858ad3a2 (version 0.5.2)
[gluten-lwt.0.5.2] synchronised (no changes)
gluten-lwt is now pinned to git+https://github.com/mtelvers/gluten.git#8cbce6d903b3e779b1fc3f505ae8702d858ad3a2 (version 0.5.2)
[gluten-lwt-unix.0.5.2] synchronised (no changes)
gluten-lwt-unix is now pinned to git+https://github.com/mtelvers/gluten.git#8cbce6d903b3e779b1fc3f505ae8702d858ad3a2 (version 0.5.2)
The following actions will be performed:
=== install 162 packages
- install angstrom 0.16.1 [required by timedesc]
- install asn1-combinators 0.3.3 [required by x509]
- install astring 0.8.5 [required by bos]
- install base v0.17.3 [required by ppx_stable]
- install base-bytes base [required by ocplib-endian]
- install base64 3.5.2 [required by cohttp]
- install bigarray-compat 1.1.0 [required by dream]
- install bigstringaf 0.10.0 [required by multipart_form, caqti, multipart_form-lwt]
- install bos 0.3.0 [required by rocqproverorg]
- install bstr 0.1.1 [required by prettym]
- install ca-certs 1.0.3 [required by conduit-lwt-unix]
- install camlp-streams 5.0.1 [required by dream]
- install caqti 2.3.2 [required by dream]
- install caqti-lwt 2.3.2 [required by dream]
- install checkseum 0.5.3 [required by decompress]
- install cmarkit 0.4.0 [required by rocqproverorg]
- install cmdliner 2.1.1 [required by rocqproverorg]
- install cohttp 6.3.0 [required by rocqproverorg]
- install cohttp-lwt 6.3.0 [required by cohttp-lwt-unix, river]
- install cohttp-lwt-unix 6.3.0 [required by rocqproverorg]
- install conduit 8.0.0 [required by conduit-lwt]
- install conduit-lwt 8.0.0 [required by cohttp-lwt-unix]
- install conduit-lwt-unix 8.0.0 [required by cohttp-lwt-unix]
- install conf-gmp 5 [required by conf-gmp-powm-sec, zarith]
- install conf-gmp-powm-sec 4 [required by mirage-crypto-pk]
- install conf-libev 4-13 [required by dream]
- install conf-libssl 4 [required by ssl]
- install conf-oniguruma 1 [required by oniguruma]
- install conf-pkg-config 5 [required by conf-oniguruma]
- install cppo 1.8.0 [required by ppx_deriving]
- install crunch 4.1.0 [required by rocqproverorg]
- install csexp 1.5.2 [required by dune-configurator, dune-private-libs]
- install cstruct 6.3.0 [required by dream]
- install ctypes 0.24.0 [required by yaml]
- install decompress 1.6.0 [required by dream-encoding]
- install digestif 1.3.1 [required by dream]
- install domain-name 0.5.0 [required by caqti, ipaddr, caqti-lwt]
- install dream 1.0.0~alpha8 [required by rocqproverorg]
- install dream-accept 0.1.0 [required by rocqproverorg]
- install dream-encoding 0.3.0 [required by rocqproverorg]
- install dream-httpaf 1.0.0~alpha4 [required by dream]
- install dream-pure 1.0.0~alpha2 [required by dream]
- install dune 3.24.2 [required by rocqproverorg]
- install dune-configurator 3.24.2 [required by yaml]
- install dune-private-libs 3.24.2 [required by dune-site]
- install dune-site 3.24.2 [required by caqti]
- install duration 0.3.1 [required by mirage-crypto-rng-lwt]
- install dyn 3.24.2 [required by dune-private-libs]
- install eqaf 0.10 [required by digestif, mirage-crypto]
- install ezjsonm 1.3.0 [required by rocqproverorg]
- install faraday 0.8.2 [required by httpun, gluten, h2, httpun-ws]
- install faraday-lwt 0.8.2 [required by faraday-lwt-unix]
- install faraday-lwt-unix 0.8.2 [required by gluten-lwt-unix, h2-lwt-unix]
- install fmt 0.11.0 [required by rocqproverorg]
- install fpath 0.7.3 [required by rocqproverorg]
- install fs-io 3.24.2 [required by stdune]
- install gluten 0.5.2 (pinned) [required by dream-httpaf]
- install gluten-lwt 0.5.2 (pinned) [required by gluten-lwt-unix]
- install gluten-lwt-unix 0.5.2 (pinned) [required by dream-httpaf]
- install gmap 0.3.0 [required by x509]
- install graphql 0.14.0 [required by rocqproverorg]
- install graphql-lwt 0.14.0 [required by dream]
- install graphql_parser 0.14.0 [required by dream]
- install h2 0.12.0 [required by dream-httpaf]
- install h2-lwt 0.12.0 [required by h2-lwt-unix]
- install h2-lwt-unix 0.12.0 [required by dream-httpaf]
- install hex 1.5.0 [required by ezjsonm]
- install hilite 0.5.0 [required by rocqproverorg]
- install hmap 0.8.1 [required by dream-pure]
- install hpack 0.12.0 [required by h2]
- install http 6.3.0 [required by cohttp, cohttp-lwt-unix]
- install httpun 0.1.0 [required by dream-httpaf]
- install httpun-lwt 0.1.0 [required by httpun-lwt-unix]
- install httpun-lwt-unix 0.1.0 [required by dream-httpaf]
- install httpun-types 0.1.0 [required by h2, httpun]
- install httpun-ws 0.2.0 [required by dream-httpaf]
- install integers 0.8.0 [required by ctypes]
- install ipaddr 5.6.2 [required by cohttp]
- install ipaddr-sexp 5.6.2 [required by conduit-lwt-unix]
- install jsonm 1.0.2 [required by ezjsonm]
- install kdf 1.1.1 [required by x509]
- install ke 0.6 [required by multipart_form, multipart_form-lwt]
- install lambdasoup 1.1.1 [required by dream, river]
- install logs 0.10.0 [required by rocqproverorg]
- install lru 0.3.1 [required by caqti]
- install lwt 5.10.1 [required by rocqproverorg]
- install lwt-dllist 1.1.0 [required by caqti]
- install lwt_ppx 5.9.1 [required by dream, dream-encoding]
- install lwt_ssl 1.2.0 [required by dream]
- install macaddr 5.6.2 [required by ipaddr]
- install magic-mime 1.3.1 [required by cohttp-lwt-unix, dream]
- install markup 1.0.3 [required by dream]
- install menhir 20260209 [required by graphql_parser, opam-file-format]
- install menhirCST 20260209 [required by menhir]
- install menhirGLR 20260209 [required by menhir]
- install menhirLib 20260209 [required by menhir]
- install menhirSdk 20260209 [required by menhir]
- install mirage-clock 4.2.0 [required by dream]
- install mirage-crypto 1.2.0 [required by dream]
- install mirage-crypto-ec 1.2.0 [required by x509]
- install mirage-crypto-pk 1.2.0 [required by x509]
- install mirage-crypto-rng 1.2.0 [required by dream]
- install mirage-crypto-rng-lwt 1.2.0 [required by dream]
- install mtime 2.2.0 [required by caqti-lwt, caqti, mirage-crypto-rng-lwt]
- install multipart_form 0.8.0 [required by dream]
- install multipart_form-lwt 0.8.0 [required by dream]
- install ocaml-compiler-libs v0.17.0 [required by ppxlib]
- install ocaml-syntax-shims 1.0.0 [required by angstrom]
- install ocaml_intrinsics_kernel v0.17.2 [required by base]
- install ocamlbuild 0.16.1 [required by bos, cmarkit]
- install ocamlfind 1.9.8 [required by cmarkit, bos, ppx_deriving]
- install ocamlgraph 2.2.0 [required by opam-core]
- install ocplib-endian 1.2 [required by lwt]
- install ohex 0.2.0 [required by ca-certs]
- install oniguruma 0.2.0 [required by textmate-language]
- install opam-core 2.6.0 [required by opam-format]
- install opam-file-format 2.2.0 [required by opam-format]
- install opam-format 2.6.0 [required by rocqproverorg]
- install optint 0.3.0 [required by decompress]
- install ordering 3.24.2 [required by dyn, stdune]
- install patch 3.1.2 [required by opam-core]
- install pecu 0.7 [required by multipart_form]
- install pp 2.0.0 [required by dune-private-libs]
- install ppx_derivers 1.2.1 [required by ppx_deriving]
- install ppx_deriving 6.0.3 [required by rocqproverorg]
- install ppx_deriving_yaml 0.4.0 [required by rocqproverorg]
- install ppx_sexp_conv v0.17.0 [required by cohttp, cohttp-lwt-unix]
- install ppx_stable v0.17.0 [required by rocqproverorg]
- install ppxlib 0.35.0 [required by ppx_deriving_yaml, ppx_deriving, ppx_stable]
- install ppxlib_jane v0.17.0 [required by ppx_sexp_conv]
- install prettym 0.0.5 [required by multipart_form]
- install psq 0.2.1 [required by lru, h2]
- install ptime 1.2.0 [required by rocqproverorg]
- install re 1.14.0 [required by cohttp]
- install result 1.5 [required by timedesc]
- install river 0.6 [required by rocqproverorg]
- install rresult 0.7.0 [required by bos]
- install seq base [required by timedesc]
- install sexplib0 v0.17.0 [required by cohttp, ezjsonm]
- install sha 1.15.4 [required by opam-core]
- install ssl 0.7.0 [required by dream]
- install stdlib-shims 0.3.0 [required by ppxlib, sha]
- install stdune 3.24.2 [required by dune-private-libs]
- install stringext 1.6.0 [required by cohttp]
- install swhid_core 0.1 [required by opam-core]
- install syndic 1.8.0 [required by rocqproverorg]
- install textmate-language 0.6.0 [required by hilite]
- install timedesc 3.1.2 [required by rocqproverorg]
- install timedesc-tzdb 3.1.2 [required by timedesc]
- install timedesc-tzlocal 3.1.2 [required by timedesc]
- install top-closure 3.24.2 [required by stdune]
- install topkg 1.1.1 [required by bos, cmarkit]
- install uchar 0.0.2 [required by markup]
- install unstrctrd 0.4 [required by multipart_form]
- install uri 4.4.0 [required by rocqproverorg]
- install uri-sexp 4.4.0 [required by cohttp]
- install uutf 1.0.4 [required by ezjsonm]
- install x509 1.2.0 [required by caqti]
- install xmlm 1.4.0 [required by rocqproverorg]
- install yaml 3.2.0 [required by ppx_deriving_yaml]
- install yojson 3.0.0 [required by rocqproverorg]
- install zarith 1.14 [required by mirage-crypto-pk]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved astring.0.8.5 (https://opam.ocaml.org/cache)
-> retrieved asn1-combinators.0.3.3 (https://opam.ocaml.org/cache)
-> retrieved angstrom.0.16.1 (https://opam.ocaml.org/cache)
-> retrieved bigarray-compat.1.1.0 (https://opam.ocaml.org/cache)
-> retrieved base.v0.17.3 (https://opam.ocaml.org/cache)
-> retrieved base64.3.5.2 (https://opam.ocaml.org/cache)
-> retrieved bigstringaf.0.10.0 (https://opam.ocaml.org/cache)
-> retrieved ca-certs.1.0.3 (https://opam.ocaml.org/cache)
-> retrieved bos.0.3.0 (https://opam.ocaml.org/cache)
-> retrieved bstr.0.1.1 (https://opam.ocaml.org/cache)
-> retrieved camlp-streams.5.0.1 (https://opam.ocaml.org/cache)
-> retrieved caqti.2.3.2, caqti-lwt.2.3.2 (https://opam.ocaml.org/cache)
-> retrieved checkseum.0.5.3 (https://opam.ocaml.org/cache)
-> retrieved cmarkit.0.4.0 (https://opam.ocaml.org/cache)
-> retrieved cmdliner.2.1.1 (https://opam.ocaml.org/cache)
-> retrieved cohttp.6.3.0, cohttp-lwt.6.3.0, cohttp-lwt-unix.6.3.0, http.6.3.0 (https://opam.ocaml.org/cache)
-> retrieved conf-gmp.5 (https://opam.ocaml.org/cache)
-> retrieved conduit.8.0.0, conduit-lwt.8.0.0, conduit-lwt-unix.8.0.0 (https://opam.ocaml.org/cache)
-> retrieved conf-gmp-powm-sec.4 (https://opam.ocaml.org/cache)
-> retrieved conf-libev.4-13 (2 extra sources)
-> retrieved conf-libev.4-13 (2 extra sources)
-> retrieved conf-libssl.4 (https://opam.ocaml.org/cache)
-> retrieved cppo.1.8.0 (https://opam.ocaml.org/cache)
-> retrieved conf-pkg-config.5 (2 extra sources)
-> retrieved conf-pkg-config.5 (2 extra sources)
-> retrieved csexp.1.5.2 (https://opam.ocaml.org/cache)
-> retrieved crunch.4.1.0 (https://opam.ocaml.org/cache)
-> retrieved cstruct.6.3.0 (https://opam.ocaml.org/cache)
-> retrieved ctypes.0.24.0 (https://opam.ocaml.org/cache)
-> retrieved domain-name.0.5.0 (https://opam.ocaml.org/cache)
-> retrieved decompress.1.6.0 (https://opam.ocaml.org/cache)
-> retrieved dream-accept.0.1.0 (https://opam.ocaml.org/cache)
-> retrieved dream-encoding.0.3.0 (https://opam.ocaml.org/cache)
-> retrieved dream-pure.1.0.0~alpha2 (https://opam.ocaml.org/cache)
-> retrieved dream.1.0.0~alpha8, dream-httpaf.1.0.0~alpha4 (https://opam.ocaml.org/cache)
-> retrieved duration.0.3.1 (https://opam.ocaml.org/cache)
-> retrieved eqaf.0.10 (https://opam.ocaml.org/cache)
-> retrieved ezjsonm.1.3.0 (https://opam.ocaml.org/cache)
-> retrieved faraday.0.8.2, faraday-lwt.0.8.2, faraday-lwt-unix.0.8.2 (https://opam.ocaml.org/cache)
-> retrieved fmt.0.11.0 (https://opam.ocaml.org/cache)
-> retrieved fpath.0.7.3 (https://opam.ocaml.org/cache)
-> retrieved digestif.1.3.1 (https://opam.ocaml.org/cache)
-> retrieved dune.3.24.2, dune-configurator.3.24.2, dune-private-libs.3.24.2, dune-site.3.24.2, dyn.3.24.2, fs-io.3.24.2, ordering.3.24.2, stdune.3.24.2, top-closure.3.24.2 (https://opam.ocaml.org/cache)
-> retrieved gluten-lwt.0.5.2 (no changes)
-> retrieved gluten.0.5.2 (no changes)
-> retrieved graphql.0.14.0, graphql-lwt.0.14.0, graphql_parser.0.14.0 (https://opam.ocaml.org/cache)
-> retrieved gmap.0.3.0 (https://opam.ocaml.org/cache)
-> retrieved hex.1.5.0 (https://opam.ocaml.org/cache)
-> retrieved h2.0.12.0, h2-lwt.0.12.0, h2-lwt-unix.0.12.0, hpack.0.12.0 (https://opam.ocaml.org/cache)
-> retrieved gluten-lwt-unix.0.5.2 (no changes)
-> retrieved hilite.0.5.0 (https://opam.ocaml.org/cache)
-> retrieved hmap.0.8.1 (https://opam.ocaml.org/cache)
-> retrieved integers.0.8.0 (https://opam.ocaml.org/cache)
-> installed cmdliner.2.1.1
-> installed conf-gmp.5
-> retrieved httpun-ws.0.2.0 (https://opam.ocaml.org/cache)
-> retrieved httpun.0.1.0, httpun-lwt.0.1.0, httpun-lwt-unix.0.1.0, httpun-types.0.1.0 (https://opam.ocaml.org/cache)
-> retrieved ipaddr.5.6.2, ipaddr-sexp.5.6.2, macaddr.5.6.2 (https://opam.ocaml.org/cache)
-> retrieved jsonm.1.0.2 (https://opam.ocaml.org/cache)
-> retrieved kdf.1.1.1 (https://opam.ocaml.org/cache)
-> retrieved logs.0.10.0 (https://opam.ocaml.org/cache)
-> retrieved ke.0.6 (https://opam.ocaml.org/cache)
-> retrieved lru.0.3.1 (https://opam.ocaml.org/cache)
-> retrieved lambdasoup.1.1.1 (https://opam.ocaml.org/cache)
-> retrieved lwt.5.10.1 (https://opam.ocaml.org/cache)
-> retrieved lwt-dllist.1.1.0 (https://opam.ocaml.org/cache)
-> retrieved lwt_ssl.1.2.0 (https://opam.ocaml.org/cache)
-> retrieved magic-mime.1.3.1 (https://opam.ocaml.org/cache)
-> retrieved lwt_ppx.5.9.1 (https://opam.ocaml.org/cache)
-> retrieved markup.1.0.3 (https://opam.ocaml.org/cache)
-> retrieved mirage-clock.4.2.0 (https://opam.ocaml.org/cache)
-> retrieved menhir.20260209, menhirCST.20260209, menhirGLR.20260209, menhirLib.20260209, menhirSdk.20260209 (https://opam.ocaml.org/cache)
-> retrieved mtime.2.2.0 (https://opam.ocaml.org/cache)
-> retrieved ocaml-compiler-libs.v0.17.0 (https://opam.ocaml.org/cache)
-> retrieved multipart_form.0.8.0, multipart_form-lwt.0.8.0 (https://opam.ocaml.org/cache)
-> retrieved ocaml-syntax-shims.1.0.0 (https://opam.ocaml.org/cache)
-> retrieved ocaml_intrinsics_kernel.v0.17.2 (https://opam.ocaml.org/cache)
-> retrieved mirage-crypto.1.2.0, mirage-crypto-ec.1.2.0, mirage-crypto-pk.1.2.0, mirage-crypto-rng.1.2.0, mirage-crypto-rng-lwt.1.2.0 (https://opam.ocaml.org/cache)
-> retrieved ocamlbuild.0.16.1 (https://opam.ocaml.org/cache)
-> retrieved ocamlfind.1.9.8 (https://opam.ocaml.org/cache)
-> retrieved ocplib-endian.1.2 (https://opam.ocaml.org/cache)
-> retrieved ohex.0.2.0 (https://opam.ocaml.org/cache)
-> retrieved oniguruma.0.2.0 (https://opam.ocaml.org/cache)
-> retrieved ocamlgraph.2.2.0 (https://opam.ocaml.org/cache)
-> retrieved opam-file-format.2.2.0 (https://opam.ocaml.org/cache)
-> retrieved optint.0.3.0 (https://opam.ocaml.org/cache)
-> retrieved opam-core.2.6.0, opam-format.2.6.0 (https://opam.ocaml.org/cache)
-> retrieved patch.3.1.2 (https://opam.ocaml.org/cache)
-> retrieved pecu.0.7 (https://opam.ocaml.org/cache)
-> retrieved pp.2.0.0 (https://opam.ocaml.org/cache)
-> retrieved ppx_derivers.1.2.1 (https://opam.ocaml.org/cache)
-> retrieved ppx_deriving.6.0.3 (https://opam.ocaml.org/cache)
-> retrieved ppx_deriving_yaml.0.4.0 (https://opam.ocaml.org/cache)
-> retrieved ppx_stable.v0.17.0 (https://opam.ocaml.org/cache)
-> retrieved ppx_sexp_conv.v0.17.0 (https://opam.ocaml.org/cache)
-> retrieved ppxlib_jane.v0.17.0 (https://opam.ocaml.org/cache)
-> installed conf-libev.4-13
-> installed conf-gmp-powm-sec.4
-> installed conf-pkg-config.5
-> retrieved prettym.0.0.5 (https://opam.ocaml.org/cache)
-> retrieved psq.0.2.1 (https://opam.ocaml.org/cache)
-> retrieved ptime.1.2.0 (https://opam.ocaml.org/cache)
-> retrieved ppxlib.0.35.0 (https://opam.ocaml.org/cache)
-> retrieved result.1.5 (https://opam.ocaml.org/cache)
-> retrieved re.1.14.0 (https://opam.ocaml.org/cache)
-> retrieved rresult.0.7.0 (https://opam.ocaml.org/cache)
-> retrieved river.0.6 (https://opam.ocaml.org/cache)
-> retrieved seq.base (2 extra sources)
-> retrieved seq.base (2 extra sources)
-> retrieved sha.1.15.4 (https://opam.ocaml.org/cache)
-> retrieved sexplib0.v0.17.0 (https://opam.ocaml.org/cache)
-> retrieved stdlib-shims.0.3.0 (https://opam.ocaml.org/cache)
-> retrieved ssl.0.7.0 (https://opam.ocaml.org/cache)
-> retrieved stringext.1.6.0 (https://opam.ocaml.org/cache)
-> retrieved swhid_core.0.1 (https://opam.ocaml.org/cache)
-> retrieved syndic.1.8.0 (https://opam.ocaml.org/cache)
-> retrieved textmate-language.0.6.0 (https://opam.ocaml.org/cache)
-> retrieved topkg.1.1.1 (https://opam.ocaml.org/cache)
-> retrieved timedesc.3.1.2, timedesc-tzdb.3.1.2, timedesc-tzlocal.3.1.2 (https://opam.ocaml.org/cache)
-> retrieved uchar.0.0.2 (https://opam.ocaml.org/cache)
-> retrieved unstrctrd.0.4 (https://opam.ocaml.org/cache)
-> retrieved uutf.1.0.4 (https://opam.ocaml.org/cache)
-> retrieved uri.4.4.0, uri-sexp.4.4.0 (https://opam.ocaml.org/cache)
-> retrieved xmlm.1.4.0 (https://opam.ocaml.org/cache)
-> retrieved x509.1.2.0 (https://opam.ocaml.org/cache)
-> retrieved yaml.3.2.0 (https://opam.ocaml.org/cache)
-> retrieved zarith.1.14 (https://opam.ocaml.org/cache)
-> retrieved yojson.3.0.0 (https://opam.ocaml.org/cache)
-> installed dune.3.24.2
-> installed conf-libssl.4
-> installed base64.3.5.2
-> installed bigarray-compat.1.1.0
-> installed bstr.0.1.1
-> installed camlp-streams.5.0.1
-> installed conf-oniguruma.1
-> installed cppo.1.8.0
-> installed csexp.1.5.2
-> installed domain-name.0.5.0
-> installed dune-configurator.3.24.2
-> installed duration.0.3.1
-> installed bigstringaf.0.10.0
-> installed eqaf.0.10
-> installed faraday.0.8.2
-> installed digestif.1.3.1
-> installed fs-io.3.24.2
-> installed gluten.0.5.2
-> installed gmap.0.3.0
-> installed http.6.3.0
-> installed httpun-types.0.1.0
-> installed lwt-dllist.1.1.0
-> installed macaddr.5.6.2
-> installed magic-mime.1.3.1
-> installed ipaddr.5.6.2
-> installed menhirCST.20260209
-> installed menhirGLR.20260209
-> installed menhirLib.20260209
-> installed menhirSdk.20260209
-> installed mirage-clock.4.2.0
-> installed menhir.20260209
-> installed mirage-crypto.1.2.0
-> installed ocaml-compiler-libs.v0.17.0
-> installed kdf.1.1.1
-> installed ocaml-syntax-shims.1.0.0
-> installed ocaml_intrinsics_kernel.v0.17.2
-> installed angstrom.0.16.1
-> installed ocamlbuild.0.16.1
-> installed hpack.0.12.0
-> installed httpun.0.1.0
-> installed ocamlfind.1.9.8
-> installed base-bytes.base
-> installed httpun-ws.0.2.0
-> installed ocamlgraph.2.2.0
-> installed ocplib-endian.1.2
-> installed ohex.0.2.0
-> installed lwt.5.10.1
-> installed oniguruma.0.2.0
-> installed faraday-lwt.0.8.2
-> installed gluten-lwt.0.5.2
-> installed faraday-lwt-unix.0.8.2
-> installed httpun-lwt.0.1.0
-> installed opam-file-format.2.2.0
-> installed optint.0.3.0
-> installed ordering.3.24.2
-> installed checkseum.0.5.3
-> installed patch.3.1.2
-> installed decompress.1.6.0
-> installed pecu.0.7
-> installed pp.2.0.0
-> installed ppx_derivers.1.2.1
-> installed dyn.3.24.2
-> installed re.1.14.0
-> installed result.1.5
-> installed seq.base
-> installed sexplib0.v0.17.0
-> installed psq.0.2.1
-> installed base.v0.17.3
-> installed h2.0.12.0
-> installed lru.0.3.1
-> installed h2-lwt.0.12.0
-> installed ssl.0.7.0
-> installed stdlib-shims.0.3.0
-> installed lwt_ssl.1.2.0
-> installed integers.0.8.0
-> installed gluten-lwt-unix.0.5.2
-> installed ctypes.0.24.0
-> installed h2-lwt-unix.0.12.0
-> installed httpun-lwt-unix.0.1.0
-> installed ppxlib.0.35.0
-> installed sha.1.15.4
-> installed lwt_ppx.5.9.1
-> installed ppx_deriving.6.0.3
-> installed ppx_stable.v0.17.0
-> installed ppxlib_jane.v0.17.0
-> installed stringext.1.6.0
-> installed ppx_sexp_conv.v0.17.0
-> installed swhid_core.0.1
-> installed ipaddr-sexp.5.6.2
-> installed textmate-language.0.6.0
-> installed timedesc-tzdb.3.1.2
-> installed timedesc-tzlocal.3.1.2
-> installed top-closure.3.24.2
-> installed topkg.1.1.1
-> installed stdune.3.24.2
-> installed astring.0.8.5
-> installed cmarkit.0.4.0
-> installed dune-private-libs.3.24.2
-> installed fmt.0.11.0
-> installed dune-site.3.24.2
-> installed cstruct.6.3.0
-> installed fpath.0.7.3
-> installed graphql_parser.0.14.0
-> installed hex.1.5.0
-> installed hilite.0.5.0
-> installed hmap.0.8.1
-> installed ke.0.6
-> installed logs.0.10.0
-> installed mtime.2.2.0
-> installed mirage-crypto-rng.1.2.0
-> installed prettym.0.0.5
-> installed mirage-crypto-ec.1.2.0
-> installed mirage-crypto-rng-lwt.1.2.0
-> installed ptime.1.2.0
-> installed rresult.0.7.0
-> installed asn1-combinators.0.3.3
-> installed bos.0.3.0
-> installed crunch.4.1.0
-> installed timedesc.3.1.2
-> installed uchar.0.0.2
-> installed uri.4.4.0
-> installed uutf.1.0.4
-> installed conduit.8.0.0
-> installed dream-pure.1.0.0~alpha2
-> installed conduit-lwt.8.0.0
-> installed dream-httpaf.1.0.0~alpha4
-> installed jsonm.1.0.2
-> installed markup.1.0.3
-> installed ezjsonm.1.3.0
-> installed lambdasoup.1.1.1
-> installed opam-core.2.6.0
-> installed unstrctrd.0.4
-> installed opam-format.2.6.0
-> installed multipart_form.0.8.0
-> installed uri-sexp.4.4.0
-> installed multipart_form-lwt.0.8.0
-> installed cohttp.6.3.0
-> installed xmlm.1.4.0
-> installed cohttp-lwt.6.3.0
-> installed syndic.1.8.0
-> installed yaml.3.2.0
-> installed yojson.3.0.0
-> installed ppx_deriving_yaml.0.4.0
-> installed graphql.0.14.0
-> installed zarith.1.14
-> installed graphql-lwt.0.14.0
-> installed mirage-crypto-pk.1.2.0
-> installed x509.1.2.0
-> installed ca-certs.1.0.3
-> installed caqti.2.3.2
-> installed conduit-lwt-unix.8.0.0
-> installed caqti-lwt.2.3.2
-> installed cohttp-lwt-unix.6.3.0
-> installed dream.1.0.0~alpha8
-> installed river.0.6
-> installed dream-accept.0.1.0
-> installed dream-encoding.0.3.0
Done.
<><> mirage-crypto-rng-lwt.1.2.0 installed successfully <><><><><><><><><><><><>
=> This package is deprecated, use `Mirage_crypto_rng_unix.use_default ()` from the mirage-crypto-rng.unix package instead.
# Run eval $(opam env) to update the current shell environment
Removing intermediate container b12b71c9f754
---> 60f3e523d367
Step 9/41 : ARG GIT_COMMIT
---> Running in 8ae3b79b7c6b
Removing intermediate container 8ae3b79b7c6b
---> d4bb56c4d675
Step 10/41 : RUN echo "Based on commit: $GIT_COMMIT"
---> Running in 6e815340b4e2
Based on commit:
Removing intermediate container 6e815340b4e2
---> d0f47e87c27f
Step 11/41 : ENV GIT_COMMIT=${GIT_COMMIT}
---> Running in d9a59e844673
Removing intermediate container d9a59e844673
---> 1ce3bb547a58
Step 12/41 : LABEL rocqproverorg=${GIT_COMMIT}
---> Running in 66a2bc62d1c7
Removing intermediate container 66a2bc62d1c7
---> 4dc0466ce56b
Step 13/41 : ARG GIT_BRANCH
---> Running in 49cb93d14089
Removing intermediate container 49cb93d14089
---> ac13964039f1
Step 14/41 : RUN echo "Based on branch: $GIT_BRANCH"
---> Running in 7cfdd457d573
Based on branch:
Removing intermediate container 7cfdd457d573
---> a67f0710dc54
Step 15/41 : ENV GIT_BRANCH=${GIT_BRANCH}
---> Running in 5f9a5c6a1cf8
Removing intermediate container 5f9a5c6a1cf8
---> 2fea06d833ec
Step 16/41 : LABEL rocqproverorg_branch=${GIT_BRANCH}
---> Running in 18cefc8a7066
Removing intermediate container 18cefc8a7066
---> 844e12e230f1
Step 17/41 : COPY --chown=opam:opam . .
---> dede71886515
Step 18/41 : RUN opam exec -- dune build @install --profile=release
---> Running in 1f6d7e93c586
Browserslist: caniuse-lite is outdated. Please run:
npx update-browserslist-db@latest
Why you should do it regularly: https://github.com/browserslist/update-db#readme
Rebuilding...
Done in 4737ms.
File "src/rocqproverorg_data/dune", lines 25-33, characters 0-205:
25 | (rule
26 | (target data.bin)
27 | (deps
28 | (source_tree %{workspace_root}/data)
29 | (:packer %{workspace_root}/tool/data-packer/bin/pack.exe))
30 | (action
31 | (chdir
32 | %{workspace_root}
33 | (run %{packer} -o %{target}))))
data-pack: internal error, uncaught exception:
Data_packer.Exn.Decode_error("data/academic_institutions/itu.md : error calling parser: mapping values are not allowed in this context character 0 position 0 returned: 0")
Raised at Rocqproverorg__Import.Result.get_ok.(fun) in file "src/global/import.ml", line 106, characters 55-70
Called from Data_packer__Academic_institution_parser.all in file "tool/data-packer/lib/academic_institution_parser.ml" (inlined), line 73, characters 13-67
Called from Data_packer__Packer.load_all in file "tool/data-packer/lib/packer.ml", line 24, characters 28-62
Called from Dune__exe__Pack.pack in file "tool/data-packer/bin/pack.ml", line 10, characters 13-43
Called from Cmdliner_term.app.(fun) in file "cmdliner_term.ml", line 22, characters 19-24
Called from Cmdliner_term.ret.(fun) in file "cmdliner_term.ml", line 39, characters 25-32
Called from Cmdliner_eval.run_parser in file "cmdliner_eval.ml", line 41, characters 7-16
The command '/bin/sh -c opam exec -- dune build @install --profile=release' returned a non-zero code: 1
2026-11-09 09:18.23: Job failed: Docker build exited with status 1