Build:
- 0
2025-05-19 16:49.45: New job: Voodoo do coq.8.15.1; ad0467b78bca7869f32592ec5b5f3dc9
Prep base: ((from ocaml/opam:debian-12-ocaml-4.14@sha256:3244bdc5a8a334bd7c4f552ea00747039a9cec8c46437471b45bca4791eef453)
(user (uid 1000) (gid 1000))
(run (network host)
(shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam && opam init --reinit -ni"))
(workdir /home/opam)
(run (shell "sudo chown opam:opam /home/opam"))
)2025-05-19 16:49.45: Waiting for resource in pool OCluster
2025-05-19 16:49.45: Waiting for worker…
2025-05-19 16:56.01: Got resource from pool OCluster
2025-05-19 16:56.01: Using cache hint "docs-universe-compile-4.14.2"
To reproduce locally:
cat > prep.spec <<'END-OF-SPEC'
((build odoc_driver
((from ocaml/opam:debian-12-ocaml-5.3@sha256:601a187e2900fccdc210cf20312e1bb4b7d0d219d790e3a816c5bf992c14e3e6)
(user (uid 1000) (gid 1000))
(run (network host)
(shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam && opam init --reinit -ni"))
(workdir /home/opam)
(run (shell "sudo chown opam:opam /home/opam"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "(sudo apt-get update) && (opam pin -ny sherlodoc.dev https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300) && (opam pin -ny odoc-parser.dev https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300 && opam pin -ny odoc-md.dev https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300 && opam pin -ny odoc.dev https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300 && opam pin -ny odoc-driver.dev https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300) && (opam install -y odoc-md) && (opam install -y odoc-driver sherlodoc) && (cp $(opam config var bin)/odoc_driver_voodoo $(opam config var bin)/sherlodoc $(opam config var bin)/odoc-md /home/opam) && (rm -rf $(opam config var prefix))"))))
(build tools
((from ocaml/opam:debian-12-ocaml-4.14@sha256:3244bdc5a8a334bd7c4f552ea00747039a9cec8c46437471b45bca4791eef453)
(user (uid 1000) (gid 1000))
(run (network host)
(shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam && opam init --reinit -ni"))
(workdir /home/opam)
(run (shell "sudo chown opam:opam /home/opam"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "(sudo apt-get update && sudo apt-get install -yy m4) && (opam pin -ny odoc-parser.dev https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300 && opam depext -iy odoc-parser) && (opam pin -ny odoc.dev https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300 && opam depext -iy odoc) && (cp $(opam config var bin)/odoc /home/opam) && (rm -rf $(opam config var prefix))"))))
(from ocaml/opam:debian-12-ocaml-4.14@sha256:3244bdc5a8a334bd7c4f552ea00747039a9cec8c46437471b45bca4791eef453)
(user (uid 1000) (gid 1000))
(run (network host)
(shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam && opam init --reinit -ni"))
(workdir /home/opam)
(run (shell "sudo chown opam:opam /home/opam"))
(workdir /home/opam/docs/)
(run (shell "sudo chown opam:opam . "))
(copy (from (build tools)) (src /home/opam/odoc) (dst /home/opam/))
(copy (from (build odoc_driver))
(src /home/opam/odoc_driver_voodoo /home/opam/sherlodoc /home/opam/odoc-md)
(dst /home/opam/))
(run (shell "mv ~/sherlodoc $(opam config var bin)/sherlodoc"))
(run (network host)
(shell "sudo apt install -y jq"))
(run (network host)
(shell "git clone https://github.com/jonludlam/docs-ci-scripts.git && echo NOTRANDOM"))
(run (cache (compile-cache (target /home/opam/.cache/epoch-137f967e4b669fa675bae6ebe4c27b18/compile)))
(network host)
(secrets (ssh_privkey (target /home/opam/.ssh/id_rsa)) (ssh_pubkey (target /home/opam/.ssh/id_rsa.pub)) (ssh_config (target /home/opam/.ssh/config)))
(shell "(ssh -MNf sage.caelum.ci.dev) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/95f56fcf1da5300e1109d0aa6ba92aed/base-threads/base base-threads.base-95f56fcf1da5300e1109d0aa6ba92aed-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/95f56fcf1da5300e1109d0aa6ba92aed/base-unix/base base-unix.base-95f56fcf1da5300e1109d0aa6ba92aed-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/95f56fcf1da5300e1109d0aa6ba92aed/conf-findutils/1 conf-findutils.1-95f56fcf1da5300e1109d0aa6ba92aed-137f967e4b669fa675bae6ebe4c27b18 false) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/conf-gmp/5 conf-gmp.5-dbfcb815aeb4bf0fd3cd8629e55225c8-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/conf-pkg-config/4 conf-pkg-config.4-95f56fcf1da5300e1109d0aa6ba92aed-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/ebfbf2a49c873ae1898683b3e8cd3ae7/dune/3.18.2 dune.3.18.2-ebfbf2a49c873ae1898683b3e8cd3ae7-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml/4.14.2 ocaml.4.14.2-906334fd2e017db19ce5f851d5121f74-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-base-compiler/4.14.2 ocaml-base-compiler.4.14.2-95f56fcf1da5300e1109d0aa6ba92aed-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-config/2 ocaml-config.2-56a469ab35eda9a278ea08e63ba34a78-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/8ec2c08a7515b28a7e25f6bb987b2a4f/ocamlfind/1.9.8 ocamlfind.1.9.8-8ec2c08a7515b28a7e25f6bb987b2a4f-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/099d35220a6b261d02e21c2b8740797e/zarith/1.14 zarith.1.14-099d35220a6b261d02e21c2b8740797e-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/get_prep_for_compile.sh sage.caelum.ci.dev /data prep0/u/ad0467b78bca7869f32592ec5b5f3dc9/coq/8.15.1 prep/universes/ad0467b78bca7869f32592ec5b5f3dc9/coq/8.15.1) && (export OCAMLRUNPAM=b) && (time opam exec -- /home/opam/odoc_driver_voodoo --verbose --odoc /home/opam/odoc --odoc-md /home/opam/odoc-md --odoc-dir epoch-137f967e4b669fa675bae6ebe4c27b18/compile --odocl-dir linked --html-dir epoch-137f967e4b669fa675bae6ebe4c27b18/html-raw --stats coq --blessed) && (jq . driver-benchmarks.json || true) && (shopt -s nullglob && ((echo LISTING epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/coq/8.15.1 && [ ! -z \"$(ls -A epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/coq/8.15.1)\" ] && tar -cvf epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/coq/8.15.1.tar epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/coq/8.15.1/* && rm -R epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/coq/8.15.1/* && mv epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/coq/8.15.1.tar epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/coq/8.15.1/content.tar) || (echo 'Empty directory'))) && (time rsync -aR ./epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/coq/8.15.1 sage.caelum.ci.dev:/data/.) && (set 'epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/coq/8.15.1'; HASH=$((sha256sum $1/content.tar 2>/dev/null | cut -d \" \" -f 1) || echo -n 'empty'); rm -f $1/content.tar; printf \"COMPILE:$2:$HASH\\n\";) && (mkdir -p linked && mkdir -p epoch-137f967e4b669fa675bae6ebe4c27b18 && mv linked epoch-137f967e4b669fa675bae6ebe4c27b18/) && (mkdir -p epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/coq/8.15.1) && (shopt -s nullglob && ((echo LISTING epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/coq/8.15.1 && [ ! -z \"$(ls -A epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/coq/8.15.1)\" ] && tar -cvf epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/coq/8.15.1.tar epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/coq/8.15.1/* && rm -R epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/coq/8.15.1/* && mv epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/coq/8.15.1.tar epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/coq/8.15.1/content.tar) || (echo 'Empty directory'))) && (echo raw_folder: epoch-137f967e4b669fa675bae6ebe4c27b18/html-raw/p/coq/8.15.1) && (time rsync -aR ./epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/coq/ sage.caelum.ci.dev:/data/.) && (echo '0.100517') && (set 'epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/coq/8.15.1'; HASH=$((sha256sum $1/content.tar 2>/dev/null | cut -d \" \" -f 1) || echo -n 'empty'); rm -f $1/content.tar; printf \"LINKED:$2:$HASH\\n\";) && (echo '0.418358') && (mkdir -p epoch-137f967e4b669fa675bae6ebe4c27b18/html-raw/p/coq/8.15.1) && (time rsync -aR ./epoch-137f967e4b669fa675bae6ebe4c27b18/html-raw/p/coq/8.15.1 sage.caelum.ci.dev:/data/.) && (set 'epoch-137f967e4b669fa675bae6ebe4c27b18/html-raw/p/coq/8.15.1' raw; HASH=$(find $1 -type f -exec sha256sum {} \\; | sort | sha256sum); printf \"RAW:$2:$HASH\\n\";) && (rm -rf /home/opam/docs/*)"))
)
END-OF-SPEC
ocluster-client submit-obuilder --local-file prep.spec \
--pool linux-x86_64 --connect ocluster-submission.cap --cache-hint docs-universe-compile-4.14.2 \
--secret ssh_privkey:id_rsa --secret ssh_pubkey:id_rsa.pub--secret ssh_config:ssh_config
2025-05-19 16:56.01: RETRYING: 2025-05-19/164945-voodoo-do-93f764 Number of retries: 0 (retriable error condition)
Building on sage.caelum.ci.dev
(build "odoc_driver" …)
(from ocaml/opam:debian-12-ocaml-5.3@sha256:601a187e2900fccdc210cf20312e1bb4b7d0d219d790e3a816c5bf992c14e3e6)
2025-05-19 16:56.01 ---> using "0585f6b0985f7eb566e20fd068ca8d674792c3b808091294d28083728c5a5ee6" from cache
/: (user (uid 1000) (gid 1000))
/: (run (network host)
(shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam && opam init --reinit -ni"))
Configuring from /home/opam/.opamrc and then from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, 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
2025-05-19 16:56.01 ---> using "ae726e48bd5f551a94db6e06d9a454beed3df8df5b83bbe29cc82399b4efe7ee" from cache
/: (workdir /home/opam)
/home/opam: (run (shell "sudo chown opam:opam /home/opam"))
2025-05-19 16:56.01 ---> using "c9903ef84dcf27b4bdd7ad252272ff9bcb9549fcd436f10e38f136465be2cc4b" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "(sudo apt-get update) && (opam pin -ny sherlodoc.dev https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300) && (opam pin -ny odoc-parser.dev https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300 && opam pin -ny odoc-md.dev https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300 && opam pin -ny odoc.dev https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300 && opam pin -ny odoc-driver.dev https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300) && (opam install -y odoc-md) && (opam install -y odoc-driver sherlodoc) && (cp $(opam config var bin)/odoc_driver_voodoo $(opam config var bin)/sherlodoc $(opam config var bin)/odoc-md /home/opam) && (rm -rf $(opam config var prefix))"))
Get:1 http://deb.debian.org/debian bookworm InRelease [151 kB]
Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB]
Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB]
Get:4 http://deb.debian.org/debian bookworm/main amd64 Packages [8793 kB]
Get:5 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [259 kB]
Fetched 9306 kB in 2s (5753 kB/s)
Reading package lists...
[sherlodoc.dev] synchronised (git+https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300)
sherlodoc is now pinned to git+https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300 (version dev)
[odoc-parser.dev] synchronised (git+https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300)
odoc-parser is now pinned to git+https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300 (version dev)
[odoc-md.dev] synchronised (git+https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300)
odoc-md is now pinned to git+https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300 (version dev)
[odoc.dev] synchronised (git+https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300)
odoc is now pinned to git+https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300 (version dev)
[odoc-driver.dev] synchronised (git+https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300)
odoc-driver is now pinned to git+https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300 (version dev)
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[odoc-md.dev] synchronised (no changes)
The following actions will be performed:
=== install 22 packages
- install astring 0.8.5 [required by odoc]
- install camlp-streams 5.0.1 [required by odoc-parser]
- install cmarkit 0.3.0 [required by odoc-md]
- install cmdliner 1.3.0 [required by cmarkit, odoc]
- install cppo 1.8.0 [required by odoc]
- install crunch 4.0.0 [required by odoc]
- install dune 3.18.2 [required by odoc-md]
- install fmt 0.10.0 [required by odoc]
- install fpath 0.7.3 [required by odoc]
- install ocamlbuild 0.16.1 [required by cmarkit]
- install ocamlfind 1.9.8 [required by cmarkit]
- install odoc dev (pinned) [required by odoc-md]
- install odoc-md dev (pinned)
- install odoc-parser dev (pinned) [required by odoc]
- install ptime 1.2.0 [required by crunch]
- install re 1.12.0 [required by tyxml]
- install result 1.5 [required by odoc]
- install seq base [required by tyxml, yojson]
- install topkg 1.0.8 [required by cmarkit]
- install tyxml 4.6.0 [required by odoc]
- install uutf 1.0.4 [required by tyxml]
- install yojson 2.2.2 [required by odoc]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved camlp-streams.5.0.1 (cached)
-> retrieved astring.0.8.5 (cached)
-> retrieved cmdliner.1.3.0 (cached)
-> retrieved cmarkit.0.3.0 (cached)
-> retrieved cppo.1.8.0 (cached)
-> retrieved crunch.4.0.0 (cached)
-> retrieved fmt.0.10.0 (cached)
-> retrieved fpath.0.7.3 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved ptime.1.2.0 (cached)
-> retrieved re.1.12.0 (cached)
-> retrieved seq.base (cached)
-> installed seq.base
-> retrieved result.1.5 (cached)
-> retrieved topkg.1.0.8 (cached)
-> retrieved uutf.1.0.4 (cached)
-> retrieved tyxml.4.6.0 (cached)
-> retrieved yojson.2.2.2 (cached)
-> retrieved dune.3.18.2 (cached)
-> installed cmdliner.1.3.0
-> installed ocamlfind.1.9.8
-> installed ocamlbuild.0.16.1
-> installed topkg.1.0.8
-> installed uutf.1.0.4
-> installed fmt.0.10.0
-> installed ptime.1.2.0
-> installed astring.0.8.5
-> installed fpath.0.7.3
-> installed cmarkit.0.3.0
-> installed dune.3.18.2
-> installed result.1.5
-> installed camlp-streams.5.0.1
-> installed crunch.4.0.0
-> installed re.1.12.0
-> installed cppo.1.8.0
-> installed yojson.2.2.2
-> installed odoc-parser.dev
-> installed tyxml.4.6.0
-> installed odoc.dev
-> installed odoc-md.dev
Done.
# To update the current shell environment, run: eval $(opam env)
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[odoc-driver.dev] synchronised (no changes)
[sherlodoc.dev] synchronised (no changes)
The following actions will be performed:
=== install 62 packages
- install base v0.17.2 [required by ppx_sexp_conv]
- install base-bytes base [required by ocplib-endian]
- install base64 3.5.1 [required by sherlodoc]
- install bigstringaf 0.10.0 [required by sherlodoc]
- install bos 0.2.1 [required by odoc-driver]
- install brr 0.0.7 [required by sherlodoc]
- install checkseum 0.5.2 [required by decompress]
- install csexp 1.5.2 [required by dune-configurator]
- install cstruct 6.2.0 [required by eio]
- install decompress 1.5.3 [required by sherlodoc]
- install domain-local-await 1.0.1 [required by eio]
- install dune-configurator 3.18.2 [required by base, bigstringaf, checkseum]
- install eio 1.2 [required by odoc-driver]
- install eio_linux 1.2 [required by eio_main]
- install eio_main 1.2 [required by odoc-driver]
- install eio_posix 1.2 [required by eio_main]
- install gen 1.1 [required by sedlex]
- install hmap 0.8.1 [required by eio]
- install iomux 0.3 [required by eio_posix]
- install js_of_ocaml 6.0.1 [required by sherlodoc]
- install js_of_ocaml-compiler 6.0.1 [required by brr, js_of_ocaml]
- install js_of_ocaml-toplevel 6.0.1 [required by brr]
- install jsonm 1.0.2 [required by opam-core]
- install logs 0.8.0 [required by odoc-driver]
- install lwt 5.9.1 [required by sherlodoc]
- install lwt-dllist 1.1.0 [required by eio]
- install menhir 20240715 [required by sherlodoc]
- install menhirCST 20240715 [required by menhir]
- install menhirLib 20240715 [required by js_of_ocaml-compiler]
- install menhirSdk 20240715 [required by js_of_ocaml-compiler]
- install mtime 2.1.0 [required by eio, progress]
- install num 1.5-1 [required by sexplib]
- install ocaml-compiler-libs v0.17.0 [required by ppxlib]
- install ocaml_intrinsics_kernel v0.17.1 [required by base]
- install ocamlgraph 2.2.0 [required by opam-core]
- install ocplib-endian 1.2 [required by lwt]
- install odoc-driver dev (pinned)
- install opam-core 2.3.0 [required by opam-format]
- install opam-file-format 2.1.6 [required by opam-format]
- install opam-format 2.3.0 [required by odoc-driver]
- install optint 0.3.0 [required by progress, eio, decompress]
- install parsexp v0.17.0 [required by sexplib]
- install ppx_blob 0.9.0 [required by sherlodoc]
- install ppx_derivers 1.2.1 [required by ppxlib]
- install ppx_sexp_conv v0.17.0 [required by odoc-driver]
- install ppxlib 0.35.0 [required by js_of_ocaml, ppx_sexp_conv, ppx_blob]
- install ppxlib_jane v0.17.2 [required by ppx_sexp_conv]
- install progress 0.4.0 [required by odoc-driver]
- install psq 0.2.1 [required by eio]
- install rresult 0.7.0 [required by bos]
- install sedlex 3.4 [required by js_of_ocaml-compiler]
- install sexplib v0.17.0 [required by odoc-driver]
- install sexplib0 v0.17.0 [required by ppx_sexp_conv, sexplib]
- install sha 1.15.4 [required by opam-core]
- install sherlodoc dev (pinned)
- install stdlib-shims 0.3.0 [required by terminal]
- install swhid_core 0.1 [required by opam-core]
- install terminal 0.4.0 [required by progress]
- install thread-table 1.0.0 [required by domain-local-await]
- install uring 0.9 [required by eio_linux]
- install uucp 16.0.0 [required by progress]
- install vector 1.0.0 [required by progress]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bytes.base
-> retrieved bigstringaf.0.10.0 (cached)
-> retrieved base64.3.5.1 (cached)
-> retrieved base.v0.17.2 (cached)
-> retrieved bos.0.2.1 (cached)
-> retrieved csexp.1.5.2 (cached)
-> retrieved checkseum.0.5.2 (cached)
-> retrieved brr.0.0.7 (cached)
-> retrieved cstruct.6.2.0 (cached)
-> retrieved domain-local-await.1.0.1 (cached)
-> retrieved eio.1.2, eio_linux.1.2, eio_main.1.2, eio_posix.1.2 (cached)
-> installed base64.3.5.1
-> installed csexp.1.5.2
-> retrieved decompress.1.5.3 (cached)
-> retrieved dune-configurator.3.18.2 (cached)
-> installed cstruct.6.2.0
-> retrieved gen.1.1 (cached)
-> retrieved hmap.0.8.1 (cached)
-> retrieved iomux.0.3 (cached)
-> retrieved jsonm.1.0.2 (cached)
-> retrieved logs.0.8.0 (cached)
-> retrieved lwt-dllist.1.1.0 (cached)
-> retrieved lwt.5.9.1 (cached)
-> retrieved menhir.20240715, menhirCST.20240715, menhirLib.20240715, menhirSdk.20240715 (cached)
-> retrieved js_of_ocaml.6.0.1, js_of_ocaml-compiler.6.0.1, js_of_ocaml-toplevel.6.0.1 (cached)
-> installed gen.1.1
-> installed hmap.0.8.1
-> installed jsonm.1.0.2
-> installed dune-configurator.3.18.2
-> installed lwt-dllist.1.1.0
-> retrieved mtime.2.1.0 (cached)
-> retrieved num.1.5-1 (cached)
-> installed menhirCST.20240715
-> installed menhirLib.20240715
-> installed menhirSdk.20240715
-> retrieved ocaml-compiler-libs.v0.17.0 (cached)
-> retrieved ocaml_intrinsics_kernel.v0.17.1 (cached)
-> retrieved ocamlgraph.2.2.0 (cached)
-> retrieved ocplib-endian.1.2 (cached)
-> retrieved opam-core.2.3.0, opam-format.2.3.0 (cached)
-> retrieved opam-file-format.2.1.6 (cached)
-> retrieved optint.0.3.0 (cached)
-> retrieved parsexp.v0.17.0 (cached)
-> retrieved ppx_blob.0.9.0 (cached)
-> installed ocaml_intrinsics_kernel.v0.17.1
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppx_sexp_conv.v0.17.0 (cached)
-> retrieved ppxlib_jane.v0.17.2 (cached)
-> retrieved psq.0.2.1 (cached)
-> installed bigstringaf.0.10.0
-> retrieved rresult.0.7.0 (cached)
-> retrieved sedlex.3.4 (cached)
-> retrieved ppxlib.0.35.0 (cached)
-> installed ocplib-endian.1.2
-> installed iomux.0.3
-> installed ppx_derivers.1.2.1
-> retrieved progress.0.4.0, terminal.0.4.0 (cached)
-> retrieved sexplib.v0.17.0 (cached)
-> retrieved sexplib0.v0.17.0 (cached)
-> retrieved sha.1.15.4 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved swhid_core.0.1 (cached)
-> retrieved thread-table.1.0.0 (cached)
-> retrieved vector.1.0.0 (cached)
-> installed optint.0.3.0
-> retrieved uring.0.9 (cached)
-> installed psq.0.2.1
-> retrieved uucp.16.0.0 (cached)
-> installed vector.1.0.0
-> installed thread-table.1.0.0
-> installed stdlib-shims.0.3.0
-> installed opam-file-format.2.1.6
-> installed rresult.0.7.0
-> installed swhid_core.0.1
-> installed mtime.2.1.0
-> installed ocaml-compiler-libs.v0.17.0
-> installed sexplib0.v0.17.0
-> installed domain-local-await.1.0.1
-> installed checkseum.0.5.2
-> installed num.1.5-1
-> installed sha.1.15.4
-> installed ocamlgraph.2.2.0
-> installed parsexp.v0.17.0
-> installed decompress.1.5.3
-> installed uring.0.9
-> installed eio.1.2
-> installed lwt.5.9.1
-> installed sexplib.v0.17.0
-> installed eio_linux.1.2
-> installed eio_posix.1.2
-> installed eio_main.1.2
-> installed opam-core.2.3.0
-> installed base.v0.17.2
-> installed opam-format.2.3.0
-> installed menhir.20240715
-> installed ppxlib.0.35.0
-> installed ppxlib_jane.v0.17.2
-> installed ppx_blob.0.9.0
-> installed sedlex.3.4
-> installed ppx_sexp_conv.v0.17.0
-> installed uucp.16.0.0
-> installed terminal.0.4.0
-> installed js_of_ocaml-compiler.6.0.1
-> installed logs.0.8.0
-> installed js_of_ocaml-toplevel.6.0.1
-> installed progress.0.4.0
-> installed bos.0.2.1
-> installed brr.0.0.7
-> installed js_of_ocaml.6.0.1
-> installed sherlodoc.dev
-> installed odoc-driver.dev
Done.
# To update the current shell environment, run: eval $(opam env)
[WARNING] var was deprecated in version 2.1 of the opam CLI. Use opam var instead or set OPAMCLI environment variable to 2.0.
[WARNING] var was deprecated in version 2.1 of the opam CLI. Use opam var instead or set OPAMCLI environment variable to 2.0.
[WARNING] var was deprecated in version 2.1 of the opam CLI. Use opam var instead or set OPAMCLI environment variable to 2.0.
[WARNING] var was deprecated in version 2.1 of the opam CLI. Use opam var instead or set OPAMCLI environment variable to 2.0.
2025-05-19 16:56.01 ---> using "4e1e35dac07cf97a4faacf8f22f7965811e61ebf198d6256503aa71e926d4aa8" from cache
2025-05-19 16:56.01 --> finished "odoc_driver"
(build "tools" …)
(from ocaml/opam:debian-12-ocaml-4.14@sha256:3244bdc5a8a334bd7c4f552ea00747039a9cec8c46437471b45bca4791eef453)
2025-05-19 16:56.01 ---> using "8fc05cdda16df548920c1f78c4fe559e1928343c0387f98662ad0cea1d69c1c6" from cache
/: (user (uid 1000) (gid 1000))
/: (run (network host)
(shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam && opam init --reinit -ni"))
Configuring from /home/opam/.opamrc and then from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, 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
2025-05-19 16:56.01 ---> using "9dbd16c5dbabe77c1768125a01d36bd9b9e9a8198e70cd28fbc05bfa6514c137" from cache
/: (workdir /home/opam)
/home/opam: (run (shell "sudo chown opam:opam /home/opam"))
2025-05-19 16:56.01 ---> using "405fea8800a15e04f0e0701b72aab975520e228ed87eaa99d54823a9d5564487" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "(sudo apt-get update && sudo apt-get install -yy m4) && (opam pin -ny odoc-parser.dev https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300 && opam depext -iy odoc-parser) && (opam pin -ny odoc.dev https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300 && opam depext -iy odoc) && (cp $(opam config var bin)/odoc /home/opam) && (rm -rf $(opam config var prefix))"))
Get:1 http://deb.debian.org/debian bookworm InRelease [151 kB]
Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB]
Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB]
Get:4 http://deb.debian.org/debian bookworm/main amd64 Packages [8793 kB]
Get:5 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [259 kB]
Fetched 9306 kB in 3s (3207 kB/s)
Reading package lists...
Reading package lists...
Building dependency tree...
Reading state information...
Suggested packages:
m4-doc
The following NEW packages will be installed:
m4
0 upgraded, 1 newly installed, 0 to remove and 34 not upgraded.
Need to get 287 kB of archives.
After this operation, 686 kB of additional disk space will be used.
Get:1 http://deb.debian.org/debian bookworm/main amd64 m4 amd64 1.4.19-3 [287 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 287 kB in 0s (4983 kB/s)
Selecting previously unselected package m4.
(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 ... 18747 files and directories currently installed.)
Preparing to unpack .../archives/m4_1.4.19-3_amd64.deb ...
Unpacking m4 (1.4.19-3) ...
Setting up m4 (1.4.19-3) ...
[odoc-parser.dev] synchronised (git+https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300)
odoc-parser is now pinned to git+https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300 (version dev)
Opam plugin "depext" may require upgrading/reinstalling. Reinstall the plugin on the current switch? [y/n] y
The following actions will be performed:
=== recompile 1 package
- recompile opam-depext 1.2.3
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved opam-depext.1.2.3 (cached)
-> removed opam-depext.1.2.3
-> installed opam-depext.1.2.3
Done.
<><> opam-depext.1.2.3 installed successfully <><><><><><><><><><><><><><><><><>
=> opam-depext is unnecessary when used with opam >= 2.1. Please use opam install directly instead
# To update the current shell environment, run: eval $(opam env)
<><> Carrying on to "opam depext -iy odoc-parser" <><><><><><><><><><><><><><><>
Since version 2.1, opam now handles external dependencies alongside OCaml ones, and the `depext` plugin interface is provided for backwards compatibility only. Consider using your usual `opam install` command to install both OCaml and system dependencies, or `opam install <pkg> --depext-only` if you want to only install external dependencies.
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
# No extra OS packages requirements found.
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[odoc-parser.dev] synchronised (no changes)
The following actions will be performed:
=== install 8 packages
- install astring 0.8.5 [required by odoc-parser]
- install camlp-streams 5.0.1 [required by odoc-parser]
- install dune 3.18.2 [required by odoc-parser]
- install ocamlbuild 0.16.1 [required by astring]
- install ocamlfind 1.9.8 [required by astring]
- install odoc-parser dev (pinned)
- install result 1.5 [required by odoc-parser]
- install topkg 1.0.8 [required by astring]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved astring.0.8.5 (cached)
-> retrieved camlp-streams.5.0.1 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> retrieved result.1.5 (cached)
-> retrieved topkg.1.0.8 (cached)
-> retrieved dune.3.18.2 (cached)
-> installed ocamlfind.1.9.8
-> installed ocamlbuild.0.16.1
-> installed topkg.1.0.8
-> installed astring.0.8.5
-> installed dune.3.18.2
-> installed result.1.5
-> installed camlp-streams.5.0.1
-> installed odoc-parser.dev
Done.
# To update the current shell environment, run: eval $(opam env)
[odoc.dev] synchronised (git+https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300)
odoc is now pinned to git+https://github.com/ocaml/odoc.git#90e679061f68c5e5ee5915e280f63d842f41f300 (version dev)
Since version 2.1, opam now handles external dependencies alongside OCaml ones, and the `depext` plugin interface is provided for backwards compatibility only. Consider using your usual `opam install` command to install both OCaml and system dependencies, or `opam install <pkg> --depext-only` if you want to only install external dependencies.
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
# No extra OS packages requirements found.
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[odoc.dev] synchronised (no changes)
The following actions will be performed:
=== install 12 packages
- install cmdliner 1.3.0 [required by odoc]
- install cppo 1.8.0 [required by odoc]
- install crunch 4.0.0 [required by odoc]
- install fmt 0.10.0 [required by odoc]
- install fpath 0.7.3 [required by odoc]
- install odoc dev (pinned)
- install ptime 1.2.0 [required by crunch]
- install re 1.12.0 [required by tyxml]
- install seq base [required by tyxml, yojson]
- install tyxml 4.6.0 [required by odoc]
- install uutf 1.0.4 [required by tyxml]
- install yojson 2.2.2 [required by odoc]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved cppo.1.8.0 (cached)
-> retrieved cmdliner.1.3.0 (cached)
-> retrieved crunch.4.0.0 (cached)
-> retrieved fmt.0.10.0 (cached)
-> retrieved fpath.0.7.3 (cached)
-> retrieved seq.base (cached)
-> installed seq.base
-> retrieved ptime.1.2.0 (cached)
-> retrieved re.1.12.0 (cached)
-> retrieved tyxml.4.6.0 (cached)
-> retrieved uutf.1.0.4 (cached)
-> retrieved yojson.2.2.2 (cached)
-> installed fpath.0.7.3
-> installed re.1.12.0
-> installed cppo.1.8.0
-> installed ptime.1.2.0
-> installed yojson.2.2.2
-> installed cmdliner.1.3.0
-> installed crunch.4.0.0
-> installed uutf.1.0.4
-> installed fmt.0.10.0
-> installed tyxml.4.6.0
-> installed odoc.dev
Done.
# To update the current shell environment, run: eval $(opam env)
[WARNING] var was deprecated in version 2.1 of the opam CLI. Use opam var instead or set OPAMCLI environment variable to 2.0.
[WARNING] var was deprecated in version 2.1 of the opam CLI. Use opam var instead or set OPAMCLI environment variable to 2.0.
2025-05-19 16:56.01 ---> using "caf58dcea958a2656fc578674a755e951f2108116a04b951d6e0c8819a31e813" from cache
2025-05-19 16:56.01 --> finished "tools"
(from ocaml/opam:debian-12-ocaml-4.14@sha256:3244bdc5a8a334bd7c4f552ea00747039a9cec8c46437471b45bca4791eef453)
2025-05-19 16:56.01 ---> using "8fc05cdda16df548920c1f78c4fe559e1928343c0387f98662ad0cea1d69c1c6" from cache
/: (user (uid 1000) (gid 1000))
/: (run (network host)
(shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam && opam init --reinit -ni"))
Configuring from /home/opam/.opamrc and then from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, 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
2025-05-19 16:56.01 ---> using "9dbd16c5dbabe77c1768125a01d36bd9b9e9a8198e70cd28fbc05bfa6514c137" from cache
/: (workdir /home/opam)
/home/opam: (run (shell "sudo chown opam:opam /home/opam"))
2025-05-19 16:56.01 ---> using "405fea8800a15e04f0e0701b72aab975520e228ed87eaa99d54823a9d5564487" from cache
/home/opam: (workdir /home/opam/docs/)
/home/opam/docs/: (run (shell "sudo chown opam:opam . "))
2025-05-19 16:56.01 ---> using "011ea5e11f8de0fa709408b4691e8ce10ea25d72dea952ed9de6556f38c6ea39" from cache
/home/opam/docs/: (copy (from (build tools))
(src /home/opam/odoc)
(dst /home/opam/))
2025-05-19 16:56.01 ---> using "e73403ff1bd3c96b304e9d1d68fd8c48d9b8f3a3e0419eb63d208a73d50f80ba" from cache
/home/opam/docs/: (copy (from (build odoc_driver))
(src /home/opam/odoc_driver_voodoo /home/opam/sherlodoc /home/opam/odoc-md)
(dst /home/opam/))
2025-05-19 16:56.02 ---> using "5567bcb468d2182b4f599fa81c9afeb8f9990376421e391fbd0dacb688c5c990" from cache
/home/opam/docs/: (run (shell "mv ~/sherlodoc $(opam config var bin)/sherlodoc"))
[WARNING] var was deprecated in version 2.1 of the opam CLI. Use opam var instead or set OPAMCLI environment variable to 2.0.
2025-05-19 16:56.02 ---> using "adf62d35710fed767776e0e5260fddc3dc130ab37639f55bab6198b832f6ae2e" from cache
/home/opam/docs/: (run (network host)
(shell "sudo apt install -y jq"))
WARNING: apt does not have a stable CLI interface. Use with caution in scripts.
Reading package lists...
Building dependency tree...
Reading state information...
The following additional packages will be installed:
libjq1 libonig5
The following NEW packages will be installed:
jq libjq1 libonig5
0 upgraded, 3 newly installed, 0 to remove and 0 not upgraded.
Need to get 388 kB of archives.
After this operation, 1165 kB of additional disk space will be used.
Get:1 http://deb.debian.org/debian bookworm/main amd64 libonig5 amd64 6.9.8-1 [188 kB]
Get:2 http://deb.debian.org/debian bookworm/main amd64 libjq1 amd64 1.6-2.1 [135 kB]
Get:3 http://deb.debian.org/debian bookworm/main amd64 jq amd64 1.6-2.1 [64.9 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 388 kB in 0s (3992 kB/s)
Selecting previously unselected package libonig5: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 ... 18747 files and directories currently installed.)
Preparing to unpack .../libonig5_6.9.8-1_amd64.deb ...
Unpacking libonig5:amd64 (6.9.8-1) ...
Selecting previously unselected package libjq1:amd64.
Preparing to unpack .../libjq1_1.6-2.1_amd64.deb ...
Unpacking libjq1:amd64 (1.6-2.1) ...
Selecting previously unselected package jq.
Preparing to unpack .../archives/jq_1.6-2.1_amd64.deb ...
Unpacking jq (1.6-2.1) ...
Setting up libonig5:amd64 (6.9.8-1) ...
Setting up libjq1:amd64 (1.6-2.1) ...
Setting up jq (1.6-2.1) ...
Processing triggers for libc-bin (2.36-9+deb12u10) ...
2025-05-19 16:56.02 ---> using "3d550ccf6526f1f7d89d2b80ecf7cc3257769c12851b4ad2b6de6282415967a6" from cache
/home/opam/docs/: (run (network host)
(shell "git clone https://github.com/jonludlam/docs-ci-scripts.git && echo NOTRANDOM"))
Cloning into 'docs-ci-scripts'...
NOTRANDOM
2025-05-19 16:56.02 ---> using "a4c4084f990294e0c3ad0d9ded01a96619adc8be6c0a6d9b6a58ce98156a2ab4" from cache
/home/opam/docs/: (run (cache (compile-cache (target /home/opam/.cache/epoch-137f967e4b669fa675bae6ebe4c27b18/compile)))
(network host)
(secrets (ssh_privkey (target /home/opam/.ssh/id_rsa)) (ssh_pubkey (target /home/opam/.ssh/id_rsa.pub)) (ssh_config (target /home/opam/.ssh/config)))
(shell "(ssh -MNf sage.caelum.ci.dev) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/95f56fcf1da5300e1109d0aa6ba92aed/base-threads/base base-threads.base-95f56fcf1da5300e1109d0aa6ba92aed-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/95f56fcf1da5300e1109d0aa6ba92aed/base-unix/base base-unix.base-95f56fcf1da5300e1109d0aa6ba92aed-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/95f56fcf1da5300e1109d0aa6ba92aed/conf-findutils/1 conf-findutils.1-95f56fcf1da5300e1109d0aa6ba92aed-137f967e4b669fa675bae6ebe4c27b18 false) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/conf-gmp/5 conf-gmp.5-dbfcb815aeb4bf0fd3cd8629e55225c8-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/conf-pkg-config/4 conf-pkg-config.4-95f56fcf1da5300e1109d0aa6ba92aed-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/ebfbf2a49c873ae1898683b3e8cd3ae7/dune/3.18.2 dune.3.18.2-ebfbf2a49c873ae1898683b3e8cd3ae7-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml/4.14.2 ocaml.4.14.2-906334fd2e017db19ce5f851d5121f74-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-base-compiler/4.14.2 ocaml-base-compiler.4.14.2-95f56fcf1da5300e1109d0aa6ba92aed-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/ocaml-config/2 ocaml-config.2-56a469ab35eda9a278ea08e63ba34a78-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/8ec2c08a7515b28a7e25f6bb987b2a4f/ocamlfind/1.9.8 ocamlfind.1.9.8-8ec2c08a7515b28a7e25f6bb987b2a4f-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/download_compiled.sh sage.caelum.ci.dev /data epoch-137f967e4b669fa675bae6ebe4c27b18/compile/u/099d35220a6b261d02e21c2b8740797e/zarith/1.14 zarith.1.14-099d35220a6b261d02e21c2b8740797e-137f967e4b669fa675bae6ebe4c27b18 true) && (~/docs/docs-ci-scripts/get_prep_for_compile.sh sage.caelum.ci.dev /data prep0/u/ad0467b78bca7869f32592ec5b5f3dc9/coq/8.15.1 prep/universes/ad0467b78bca7869f32592ec5b5f3dc9/coq/8.15.1) && (export OCAMLRUNPAM=b) && (time opam exec -- /home/opam/odoc_driver_voodoo --verbose --odoc /home/opam/odoc --odoc-md /home/opam/odoc-md --odoc-dir epoch-137f967e4b669fa675bae6ebe4c27b18/compile --odocl-dir linked --html-dir epoch-137f967e4b669fa675bae6ebe4c27b18/html-raw --stats coq --blessed) && (jq . driver-benchmarks.json || true) && (shopt -s nullglob && ((echo LISTING epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/coq/8.15.1 && [ ! -z \"$(ls -A epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/coq/8.15.1)\" ] && tar -cvf epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/coq/8.15.1.tar epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/coq/8.15.1/* && rm -R epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/coq/8.15.1/* && mv epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/coq/8.15.1.tar epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/coq/8.15.1/content.tar) || (echo 'Empty directory'))) && (time rsync -aR ./epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/coq/8.15.1 sage.caelum.ci.dev:/data/.) && (set 'epoch-137f967e4b669fa675bae6ebe4c27b18/compile/p/coq/8.15.1'; HASH=$((sha256sum $1/content.tar 2>/dev/null | cut -d \" \" -f 1) || echo -n 'empty'); rm -f $1/content.tar; printf \"COMPILE:$2:$HASH\\n\";) && (mkdir -p linked && mkdir -p epoch-137f967e4b669fa675bae6ebe4c27b18 && mv linked epoch-137f967e4b669fa675bae6ebe4c27b18/) && (mkdir -p epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/coq/8.15.1) && (shopt -s nullglob && ((echo LISTING epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/coq/8.15.1 && [ ! -z \"$(ls -A epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/coq/8.15.1)\" ] && tar -cvf epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/coq/8.15.1.tar epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/coq/8.15.1/* && rm -R epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/coq/8.15.1/* && mv epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/coq/8.15.1.tar epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/coq/8.15.1/content.tar) || (echo 'Empty directory'))) && (echo raw_folder: epoch-137f967e4b669fa675bae6ebe4c27b18/html-raw/p/coq/8.15.1) && (time rsync -aR ./epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/coq/ sage.caelum.ci.dev:/data/.) && (echo '0.100517') && (set 'epoch-137f967e4b669fa675bae6ebe4c27b18/linked/p/coq/8.15.1'; HASH=$((sha256sum $1/content.tar 2>/dev/null | cut -d \" \" -f 1) || echo -n 'empty'); rm -f $1/content.tar; printf \"LINKED:$2:$HASH\\n\";) && (echo '0.418358') && (mkdir -p epoch-137f967e4b669fa675bae6ebe4c27b18/html-raw/p/coq/8.15.1) && (time rsync -aR ./epoch-137f967e4b669fa675bae6ebe4c27b18/html-raw/p/coq/8.15.1 sage.caelum.ci.dev:/data/.) && (set 'epoch-137f967e4b669fa675bae6ebe4c27b18/html-raw/p/coq/8.15.1' raw; HASH=$(find $1 -type f -exec sha256sum {} \\; | sort | sha256sum); printf \"RAW:$2:$HASH\\n\";) && (rm -rf /home/opam/docs/*)"))
Warning: Permanently added '[sage.caelum.ci.dev]:2222' (ED25519) to the list of known hosts.