Build:
- 0
2026-10-02 10:58.10: New job: Build Dockerfile using linux-x86_64 in
[https://github.com/ocaml/ocaml.org.git#refs/heads/main (d6adc354d23cdfcc67db9e4f0d842aeb2cf60def)]
2026-10-02 10:58.10: Using cache hint "https://github.com/ocaml/ocaml.org.git-Dockerfile"
2026-10-02 10:58.10: Waiting for resource in pool OCluster
2026-10-02 10:58.10: Waiting for worker…
2026-10-02 11:04.33: Got resource from pool OCluster
Building on toxis.caelum.ci.dev
HEAD is now at 68f66e31f Revert "Add "The Functional Programmer" (#3791)" (#3829)
HEAD is now at d6adc354d Remove leftover posts from The Functional Programmer (#3830)
#0 building with "default" instance using docker driver
#1 [internal] load build definition from Dockerfile
#1 transferring dockerfile: 2.64kB done
#1 DONE 0.1s
#2 [internal] load metadata for docker.io/ocaml/opam:alpine-3.24-ocaml-5.2
#2 DONE 0.5s
#3 [internal] load metadata for docker.io/library/alpine:3.24
#3 DONE 0.6s
#4 [internal] load .dockerignore
#4 transferring context: 162B done
#4 DONE 0.1s
#5 [stage-1 1/9] FROM docker.io/library/alpine:3.24@sha256:294b683cb724975bec92580e1e685676bd4b50bda910ddb8c51d4cabeaec77e6
#5 DONE 0.0s
#6 [build 1/12] FROM docker.io/ocaml/opam:alpine-3.24-ocaml-5.2@sha256:610507205021deb035d60e37c731cc46929a9d25216562225fdcdfaf969d1b41
#6 DONE 0.0s
#7 [internal] load build context
#7 transferring context: 358.35MB 5.0s
#7 transferring context: 364.97MB 5.3s done
#7 DONE 5.5s
#8 [build 6/12] WORKDIR /home/opam
#8 CACHED
#9 [build 7/12] COPY --chown=opam ocamlorg.opam .
#9 CACHED
#10 [build 2/12] 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
#10 CACHED
#11 [build 3/12] RUN sudo mv /usr/bin/opam-2.2 /usr/bin/opam && opam update
#11 CACHED
#12 [build 4/12] RUN opam option --global 'archive-mirrors+="https://opam.ocaml.org/cache"'
#12 CACHED
#13 [build 5/12] RUN cd ~/opam-repository && git reset --hard 8cdfa3296d9bc7d93273f46eb2438757e4fd5cf0 && opam update
#13 CACHED
#14 [build 8/12] RUN OPAMSOLVERTIMEOUT=300 opam install . --deps-only
#14 CACHED
#15 [build 9/12] COPY --chown=opam . .
#15 DONE 3.7s
#16 [build 10/12] RUN opam exec -- dune build @install --profile=release
#16 12.49
#=#=#
##### 7.2%
############ 18.0%
#################### 28.2%
########################### 38.7%
################################### 50.0%
############################################# 62.8%
###################################################### 76.1%
############################################################### 87.7%
######################################################################## 100.0%
#16 21.09 Browserslist: caniuse-lite is outdated. Please run:
#16 21.09 npx update-browserslist-db@latest
#16 21.09 Why you should do it regularly: https://github.com/browserslist/update-db#readme
#16 21.09
#16 21.09 Rebuilding...
#16 21.09
#16 21.09 Done in 3798ms.
#16 43.84 Packed 17966429 bytes to src/ocamlorg_data/data.bin
#16 DONE 62.2s
#17 [build 11/12] RUN cd ~/opam-repository && git checkout master && git pull origin master && opam update
#17 0.769 Already on 'master'
#17 4.987 From https://github.com/ocaml/opam-repository
#17 4.987 * branch master -> FETCH_HEAD
#17 4.987 3055f69ae0..ac27950e5e master -> origin/master
#17 1015.7 Updating 8cdfa3296d..ac27950e5e
#17 1015.9 Fast-forward
#17 1016.0 packages/ISO8601/ISO8601.0.1.2/opam | 3 +-
#17 1016.0 packages/ISO8601/ISO8601.0.2.0/opam | 3 +-
#17 1016.0 packages/ISO8601/ISO8601.0.2.2/opam | 3 +-
#17 1016.0 packages/ISO8601/ISO8601.0.2.3/opam | 3 +-
#17 1016.0 packages/ISO8601/ISO8601.0.2.4/opam | 3 +-
#17 1016.0 packages/ISO8601/ISO8601.0.2.5/opam | 3 +-
#17 1016.0 packages/ISO8601/ISO8601.0.2.6/opam | 1 +
#17 1016.0 packages/albatross/albatross.2.8.2/opam | 71 ++++++++++++++
#17 1016.0 packages/ascon/ascon.0.2.0/opam | 41 ++++++++
#17 1016.0 packages/bigstring-unix/bigstring-unix.0.3/opam | 1 +
#17 1016.0 packages/bigstring/bigstring.0.2/opam | 1 +
#17 1016.0 packages/bigstring/bigstring.0.3/opam | 2 +
#17 1016.0 packages/binary_tree/binary_tree.1.0/opam | 2 +-
#17 1016.0 packages/bitwuzla-bin/bitwuzla-bin.1.0.0/opam | 4 +-
#17 1016.0 packages/bitwuzla-c/bitwuzla-c.1.0.6/opam | 1 +
#17 1016.0 packages/bitwuzla-cxx/bitwuzla-cxx.0.9.1/opam | 52 ++++++++++
#17 1016.0 packages/bitwuzla/bitwuzla.1.0.6/opam | 1 +
#17 1016.0 packages/bjack/bjack.0.1.4/opam | 3 +-
#17 1016.0 packages/bjack/bjack.0.1.5/opam | 3 +-
#17 1016.0 packages/bjack/bjack.0.1.6/opam | 2 +
#17 1016.0 packages/brot/brot.1.0.0~alpha3/opam | 2 +-
#17 1016.0 packages/ca-certs-nss/ca-certs-nss.3.129-1/opam | 54 +++++++++++
#17 1016.0 packages/carton-git-lwt/carton-git-lwt.1.4.0/opam | 38 ++++++++
#17 1016.0 packages/carton-lwt/carton-lwt.1.4.0/opam | 38 ++++++++
#17 1016.0 packages/carton-miou/carton-miou.1.4.0/opam | 42 +++++++++
#17 1016.0 packages/carton/carton.1.4.0/opam | 41 ++++++++
#17 1016.0 packages/cascade/cascade.1.2.0/opam | 58 ++++++++++++
#17 1016.0 packages/cascade/cascade.1.2.1/opam | 58 ++++++++++++
#17 1016.0 packages/catala-format/catala-format.1.3.0/opam | 37 ++++++++
#17 1016.0 packages/catala-lsp/catala-lsp.1.3.0/opam | 47 +++++++++
#17 1016.0 packages/catala/catala.1.3.0/opam | 84 +++++++++++++++++
#17 1016.0 packages/cconv/cconv.0.2/opam | 3 +-
#17 1016.0 packages/cconv/cconv.0.5/opam | 2 +
#17 1016.0 packages/choice/choice.0.1/opam | 3 +-
#17 1016.0 packages/choice/choice.0.2/opam | 3 +-
#17 1016.0 packages/choice/choice.0.3/opam | 3 +-
#17 1016.0 packages/choice/choice.0.4/opam | 1 +
#17 1016.0 packages/conf-automake/conf-automake.1/opam | 2 +-
#17 1016.0 packages/conf-dbm/conf-dbm.1.0.0/opam | 1 +
#17 1016.0 packages/conf-jack/conf-jack.3/opam | 39 ++++++++
#17 1016.0 packages/conf-libclang/conf-libclang.22/opam | 61 ++++++++++++
#17 1016.0 packages/conf-libtool/conf-libtool.1/opam | 1 +
#17 1016.0 .../conf-protoc-dev/conf-protoc-dev.1.0.0/opam | 1 +
#17 1016.0 packages/conf-protoc/conf-protoc.4.4.0/opam | 2 +
#17 1016.0 packages/coq-core/coq-core.9.3.0/opam | 52 ++++++++++
#17 1016.0 packages/coq-stdlib/coq-stdlib.9.2.0/opam | 16 ++++
#17 1016.0 packages/coq/coq.9.3.0/opam | 14 +++
#17 1016.0 packages/coqide-server/coqide-server.9.3.0/opam | 44 +++++++++
#17 1016.0 packages/cpu/cpu.2.0.0/opam | 1 +
#17 1016.0 packages/current/current.0.8.0/opam | 94 ++++++++++++++++++
#17 1016.0 packages/current_docker/current_docker.0.8.0/opam | 83 ++++++++++++++++
#17 1016.0 .../current_examples/current_examples.0.8.0/opam | 98 +++++++++++++++++++
#17 1016.0 packages/current_git/current_git.0.8.0/opam | 88 +++++++++++++++++
#17 1016.0 packages/current_github/current_github.0.8.0/opam | 97 +++++++++++++++++++
#17 1016.0 packages/current_gitlab/current_gitlab.0.8.0/opam | 59 ++++++++++++
#17 1016.0 packages/current_rpc/current_rpc.0.8.0/opam | 86 +++++++++++++++++
#17 1016.0 packages/current_slack/current_slack.0.8.0/opam | 77 +++++++++++++++
#17 1016.0 packages/current_ssh/current_ssh.0.8.0/opam | 43 +++++++++
#17 1016.0 packages/current_web/current_web.0.8.0/opam | 105 +++++++++++++++++++++
#17 1016.0 packages/curve448/curve448.0.1.0/opam | 60 ++++++++++++
#17 1016.0 packages/cvc5/cvc5.1.3.0-3/opam | 46 +++++++++
#17 1016.0 packages/dataframe/dataframe.0.1/opam | 1 +
#17 1016.0 packages/decompress/decompress.1.6.1/opam | 41 ++++++++
#17 1016.0 packages/dose3-extra/dose3-extra.7.0.0/opam | 1 +
#17 1016.0 packages/dose3/dose3.5.0.1-1/opam | 2 +-
#17 1016.0 packages/dose3/dose3.5.0.1-2/opam | 2 +-
#17 1016.0 packages/dose3/dose3.5.0.1/opam | 2 +-
#17 1016.0 packages/dose3/dose3.6.1/opam | 2 +-
#17 1016.0 packages/dream-html/dream-html.4.0.0/opam | 44 +++++++++
#17 1016.0 packages/eio/eio.1.6/opam | 57 +++++++++++
#17 1016.0 packages/eio_linux/eio_linux.1.6/opam | 48 ++++++++++
#17 1016.0 packages/eio_main/eio_main.1.6/opam | 48 ++++++++++
#17 1016.0 packages/eio_posix/eio_posix.1.6/opam | 46 +++++++++
#17 1016.0 packages/eio_windows/eio_windows.1.6/opam | 44 +++++++++
#17 1016.0 packages/fehu/fehu.1.0.0~alpha3/opam | 2 +-
#17 1016.0 packages/ffmpeg-av/ffmpeg-av.1.4.0/opam | 50 ++++++++++
#17 1016.0 packages/ffmpeg-avcodec/ffmpeg-avcodec.1.4.0/opam | 49 ++++++++++
#17 1016.0 .../ffmpeg-avdevice/ffmpeg-avdevice.1.4.0/opam | 49 ++++++++++
#17 1016.0 .../ffmpeg-avfilter/ffmpeg-avfilter.1.4.0/opam | 49 ++++++++++
#17 1016.0 packages/ffmpeg-avutil/ffmpeg-avutil.1.4.0/opam | 50 ++++++++++
#17 1016.0 .../ffmpeg-swresample/ffmpeg-swresample.1.4.0/opam | 50 ++++++++++
#17 1016.0 packages/ffmpeg-swscale/ffmpeg-swscale.1.4.0/opam | 49 ++++++++++
#17 1016.0 packages/ffmpeg/ffmpeg.1.4.0/opam | 43 +++++++++
#17 1016.0 packages/flock/flock.1.0.0/opam | 1 +
#17 1016.0 packages/flux/flux.0.0.1~beta8/opam | 35 +++++++
#17 1016.0 packages/fluxt/fluxt.0.0.1~beta8/opam | 38 ++++++++
#17 1016.0 packages/frama-clang/frama-clang.0.0.20/opam | 50 ++++++++++
#17 1016.0 packages/gadelac/gadelac.0.6.1/opam | 5 +-
#17 1016.0 packages/gadelac/gadelac.0.6/opam | 6 +-
#17 1016.0 .../github-hooks-unix/github-hooks-unix.0.2.0/opam | 1 +
#17 1016.0 .../github-hooks-unix/github-hooks-unix.0.5.0/opam | 1 +
#17 1016.0 packages/github-hooks/github-hooks.0.4.0/opam | 1 +
#17 1016.0 packages/github-hooks/github-hooks.0.5.0/opam | 1 +
#17 1016.0 .../happy-eyeballs-lwt.2.0.2/opam | 44 +++++++++
#17 1016.0 .../happy-eyeballs-miou-unix.2.0.2/opam | 43 +++++++++
#17 1016.0 .../happy-eyeballs-mirage.2.0.2/opam | 44 +++++++++
#17 1016.0 packages/happy-eyeballs/happy-eyeballs.2.0.2/opam | 41 ++++++++
#17 1016.0 packages/hegel/hegel.0.24.1/opam | 56 +++++++++++
#17 1016.0 packages/hegel/hegel.0.25.0/opam | 57 +++++++++++
#17 1016.0 packages/hpke/hpke.0.2.0/opam | 43 +++++++++
#17 1016.0 packages/hpke/hpke.0.3.0/opam | 47 +++++++++
#17 1016.0 packages/httpcats/httpcats.0.3.3/opam | 42 +++++++++
#17 1016.0 packages/hugin/hugin.1.0.0~alpha3/opam | 2 +-
#17 1016.0 packages/jack/jack.0.1.0/opam | 40 ++++++++
#17 1016.0 .../janestreet_cpuid/janestreet_cpuid.v0.16.0/opam | 3 +-
#17 1016.0 .../janestreet_cpuid/janestreet_cpuid.v0.17.0/opam | 8 +-
#17 1016.0 packages/kaun/kaun.1.0.0~alpha3/opam | 2 +-
#17 1016.0 packages/kdf/kdf.1.1.2/opam | 37 ++++++++
#17 1016.0 packages/libdash/libdash.0.5.2/opam | 43 +++++++++
#17 1016.0 packages/libsail/libsail.0.20.3/opam | 70 ++++++++++++++
#17 1016.0 packages/linol-eio/linol-eio.0.12/opam | 40 ++++++++
#17 1016.0 packages/linol-lwt/linol-lwt.0.11/opam | 2 +-
#17 1016.0 packages/linol-lwt/linol-lwt.0.12/opam | 39 ++++++++
#17 1016.0 packages/linol/linol.0.12/opam | 41 ++++++++
#17 1016.0 .../liquidsoap-core/liquidsoap-core.2.3.0/opam | 6 +-
#17 1016.0 packages/liquidsoap/liquidsoap.2.3.3/opam | 2 +-
#17 1016.0 packages/liquidsoap/liquidsoap.2.4.0/opam | 2 +-
#17 1016.0 packages/liquidsoap/liquidsoap.2.4.2/opam | 2 +-
#17 1016.0 packages/liquidsoap/liquidsoap.2.4.3/opam | 6 +-
#17 1016.0 packages/liquidsoap/liquidsoap.2.4.4/opam | 6 +-
#17 1016.0 packages/liquidsoap/liquidsoap.2.4.5/opam | 6 +-
#17 1016.0 packages/lwt-pipe/lwt-pipe.0.1/opam | 1 +
#17 1016.0 packages/lwt/lwt.6.0.0~alpha00/opam | 68 -------------
#17 1016.0 packages/lwt/lwt.6.0.0~beta01/opam | 66 -------------
#17 1016.0 packages/mariadb/mariadb.2.2.0/opam | 40 ++++++++
#17 1016.0 packages/matrix/matrix.0.1.0/opam | 2 +-
#17 1016.0 packages/mcrunch/mcrunch.0.0.4/opam | 33 +++++++
#17 1016.0 packages/mcrunch/mcrunch.0.0.5/opam | 33 +++++++
#17 1016.0 packages/menhir-lsp/menhir-lsp.0.1.1/opam | 2 +-
#17 1016.0 packages/menhir-lsp/menhir-lsp.0.1.2/opam | 2 +-
#17 1016.0 packages/menhir-lsp/menhir-lsp.0.2/opam | 2 +-
#17 1016.0 packages/menhirformat/menhirformat.0.3.0/opam | 55 +++++++++++
#17 1016.0 packages/minicli/minicli.1.0.0/opam | 3 +-
#17 1016.0 packages/minicli/minicli.2.0.0/opam | 3 +-
#17 1016.0 packages/minicli/minicli.3.0.0/opam | 3 +-
#17 1016.0 packages/minicli/minicli.4.0.0/opam | 3 +-
#17 1016.0 packages/minicli/minicli.5.0.0/opam | 1 +
#17 1016.0 packages/minicli/minicli.5.0.1/opam | 1 +
#17 1016.0 packages/minicli/minicli.5.0.2/opam | 1 +
#17 1016.0 packages/miniyaml/miniyaml.0.1.0/opam | 38 ++++++++
#17 1016.0 packages/mkernel/mkernel.0.0.5/opam | 39 ++++++++
#17 1016.0 packages/mldsa/mldsa.0.1.1/opam | 40 ++++++++
#17 1016.0 packages/mldsa/mldsa.0.2.0/opam | 40 ++++++++
#17 1016.0 packages/mlkem/mlkem.0.1.1/opam | 40 ++++++++
#17 1016.0 packages/mlkem/mlkem.0.2.0/opam | 40 ++++++++
#17 1016.0 packages/mm/mm.0.8.7/opam | 45 +++++++++
#17 1016.0 packages/moonpool-lwt/moonpool-lwt.0.12/opam | 43 +++++++++
#17 1016.0 packages/moonpool/moonpool.0.12/opam | 53 +++++++++++
#17 1016.0 packages/mosaic/mosaic.0.1.0/opam | 2 +-
#17 1016.0 packages/mpris-clients/mpris-clients.0.2.0/opam | 1 +
#17 1016.0 packages/mpris/mpris.0.2.0/opam | 1 +
#17 1016.0 packages/mrmime/mrmime.0.8.0/opam | 56 +++++++++++
#17 1016.0 packages/mvar/mvar.1.0.0/opam | 1 +
#17 1016.0 packages/nel/nel.1.0.1/opam | 53 +++++++++++
#17 1016.0 packages/nocoiner/nocoiner.0.0.1/opam | 1 +
#17 1016.0 packages/nocoiner/nocoiner.1.0.0/opam | 1 +
#17 1016.0 packages/nx/nx.1.0.0~alpha3/opam | 2 +-
#17 1016.0 .../ocaml-protoc-plugin.6.3.0/opam | 65 +++++++++++++
#17 1016.0 packages/ocamldiff/ocamldiff.1.1/opam | 4 +-
#17 1016.0 packages/ocamldiff/ocamldiff.1.2/opam | 3 +-
#17 1016.0 .../ocsigenserver-compat.8.0.0/opam | 39 ++++++++
#17 1016.0 packages/ocsigenserver/ocsigenserver.8.0.0/opam | 80 ++++++++++++++++
#17 1016.0 .../ocsipersist-dbm-config.2.0.0/opam | 2 +-
#17 1016.0 .../ocsipersist-dbm-config.2.1.0/opam | 2 +-
#17 1016.0 .../ocsipersist-dbm-config.3.1.2/opam | 42 +++++++++
#17 1016.0 .../ocsipersist-dbm/ocsipersist-dbm.1.0.1/opam | 2 +-
#17 1016.0 packages/ocsipersist-dbm/ocsipersist-dbm.1.0/opam | 2 +-
#17 1016.0 .../ocsipersist-dbm/ocsipersist-dbm.1.1.0/opam | 2 +-
#17 1016.0 .../ocsipersist-dbm/ocsipersist-dbm.3.1.2/opam | 43 +++++++++
#17 1016.0 .../ocsipersist-lib/ocsipersist-lib.2.1.0/opam | 2 +-
#17 1016.0 .../ocsipersist-lib/ocsipersist-lib.3.1.2/opam | 41 ++++++++
#17 1016.0 .../ocsipersist-pgsql-config.2.0.0/opam | 2 +-
#17 1016.0 .../ocsipersist-pgsql-config.2.1.0/opam | 2 +-
#17 1016.0 .../ocsipersist-pgsql-config.3.1.2/opam | 41 ++++++++
#17 1016.0 .../ocsipersist-pgsql/ocsipersist-pgsql.1.0.1/opam | 2 +-
#17 1016.0 .../ocsipersist-pgsql/ocsipersist-pgsql.1.0.2/opam | 2 +-
#17 1016.0 .../ocsipersist-pgsql/ocsipersist-pgsql.1.0.3/opam | 2 +-
#17 1016.0 .../ocsipersist-pgsql/ocsipersist-pgsql.1.0.4/opam | 2 +-
#17 1016.0 .../ocsipersist-pgsql/ocsipersist-pgsql.1.0.5/opam | 2 +-
#17 1016.0 .../ocsipersist-pgsql/ocsipersist-pgsql.1.0/opam | 2 +-
#17 1016.0 .../ocsipersist-pgsql/ocsipersist-pgsql.1.1.0/opam | 2 +-
#17 1016.0 .../ocsipersist-pgsql/ocsipersist-pgsql.3.1.2/opam | 43 +++++++++
#17 1016.0 .../ocsipersist-sqlite-config.2.0.0/opam | 2 +-
#17 1016.0 .../ocsipersist-sqlite-config.2.1.0/opam | 2 +-
#17 1016.0 .../ocsipersist-sqlite-config.3.1.2/opam | 42 +++++++++
#17 1016.0 .../ocsipersist-sqlite/ocsipersist-sqlite.1.0/opam | 2 +-
#17 1016.0 .../ocsipersist-sqlite.1.1.0/opam | 2 +-
#17 1016.0 .../ocsipersist-sqlite.3.1.2/opam | 43 +++++++++
#17 1016.0 packages/ocsipersist/ocsipersist.1.0.1/opam | 2 +-
#17 1016.0 packages/ocsipersist/ocsipersist.1.0/opam | 2 +-
#17 1016.0 packages/ocsipersist/ocsipersist.1.1.0/opam | 2 +-
#17 1016.0 packages/ocsipersist/ocsipersist.3.1.2/opam | 46 +++++++++
#17 1016.0 packages/ollvm/ollvm.0.99/opam | 11 +--
#17 1016.0 packages/openai-gym/openai-gym.0.01/opam | 4 +-
#17 1016.0 packages/ozstd/ozstd.0.2/opam | 43 +++++++++
#17 1016.0 .../ppx_deriving_ezjsonm.0.5.0/opam | 46 +++++++++
#17 1016.0 .../ppx_deriving_yaml/ppx_deriving_yaml.0.5.0/opam | 45 +++++++++
#17 1016.0 .../ppx_deriving_yamlx.0.5.0/opam | 45 +++++++++
#17 1016.0 .../ppx_hegel_compat/ppx_hegel_compat.0.24.1/opam | 43 +++++++++
#17 1016.0 .../ppx_hegel_compat/ppx_hegel_compat.0.25.0/opam | 43 +++++++++
#17 1016.0 .../ppx_hegel_generator.0.24.1/opam | 43 +++++++++
#17 1016.0 .../ppx_hegel_generator.0.25.0/opam | 43 +++++++++
#17 1016.0 packages/ppx_hegel_test/ppx_hegel_test.0.24.1/opam | 42 +++++++++
#17 1016.0 packages/ppx_hegel_test/ppx_hegel_test.0.25.0/opam | 42 +++++++++
#17 1016.0 packages/ppx_mixins/ppx_mixins.0.1/opam | 10 +-
#17 1016.0 packages/ppx_mixins/ppx_mixins.0.2.0/opam | 10 +-
#17 1016.0 .../ppx_optcomp_nobase.0.17.1/opam | 40 ++++++++
#17 1016.0 packages/ppx_windtrap/ppx_windtrap.0.2.0/opam | 42 +++++++++
#17 1016.0 packages/pure-html/pure-html.4.0.0/opam | 41 ++++++++
#17 1016.0 packages/quill/quill.1.0.0~alpha3/opam | 2 +-
#17 1016.0 packages/rfc1951/rfc1951.1.6.1/opam | 34 +++++++
#17 1016.0 packages/rocq-core/rocq-core.9.3.0/opam | 53 +++++++++++
#17 1016.0 packages/rocq-devtools/rocq-devtools.9.3.0/opam | 50 ++++++++++
#17 1016.0 packages/rocq-native/rocq-native.3/opam | 30 ++++++
#17 1016.0 packages/rocq-runtime/rocq-runtime.9.3.0/opam | 71 ++++++++++++++
#17 1016.0 packages/rocq-stdlib/rocq-stdlib.9.1.0/opam | 3 +-
#17 1016.0 packages/rocq-stdlib/rocq-stdlib.9.2.0/opam | 40 ++++++++
#17 1016.0 packages/rocqide/rocqide.9.3.0/opam | 47 +++++++++
#17 1016.0 packages/rune/rune.1.0.0~alpha3/opam | 2 +-
#17 1016.0 packages/sail/sail.0.20.3/opam | 74 +++++++++++++++
#17 1016.0 packages/sail_c_backend/sail_c_backend.0.20.3/opam | 50 ++++++++++
#17 1016.0 .../sail_coq_backend/sail_coq_backend.0.20.3/opam | 50 ++++++++++
#17 1016.0 .../sail_doc_backend/sail_doc_backend.0.20.3/opam | 52 ++++++++++
#17 1016.0 .../sail_latex_backend.0.20.3/opam | 51 ++++++++++
#17 1016.0 .../sail_lean_backend.0.20.3/opam | 50 ++++++++++
#17 1016.0 .../sail_lem_backend/sail_lem_backend.0.20.3/opam | 50 ++++++++++
#17 1016.0 packages/sail_maker/sail_maker.0.20.3/opam | 50 ++++++++++
#17 1016.0 .../sail_ocaml_backend.0.20.3/opam | 51 ++++++++++
#17 1016.0 packages/sail_output/sail_output.0.20.3/opam | 50 ++++++++++
#17 1016.0 .../sail_smt_backend/sail_smt_backend.0.20.3/opam | 50 ++++++++++
#17 1016.0 .../sail_sv_backend/sail_sv_backend.0.20.3/opam | 50 ++++++++++
#17 1016.0 packages/segmap/segmap.20260927/opam | 38 ++++++++
#17 1016.0 packages/slhdsa/slhdsa.0.1.1/opam | 40 ++++++++
#17 1016.0 packages/slhdsa/slhdsa.0.2.0/opam | 40 ++++++++
#17 1016.0 packages/smtml/smtml.0.28.0/opam | 2 +-
#17 1016.0 packages/smtml/smtml.0.29.0/opam | 2 +-
#17 1016.0 packages/smtml/smtml.0.30.0/opam | 2 +-
#17 1016.0 packages/smtml/smtml.0.31.0/opam | 100 ++++++++++++++++++++
#17 1016.0 packages/soteria/soteria.0.1.0/opam | 8 +-
#17 1016.0 packages/soteria/soteria.0.2.3/opam | 8 +-
#17 1016.0 packages/sowilo/sowilo.1.0.0~alpha3/opam | 2 +-
#17 1016.0 packages/tally-mkernel/tally-mkernel.0.0.1/opam | 2 +-
#17 1016.0 packages/tally-mkernel/tally-mkernel.0.0.2/opam | 29 ++++++
#17 1016.0 packages/tally-mnet/tally-mnet.0.0.2/opam | 32 +++++++
#17 1016.0 packages/tally/tally.0.0.2/opam | 32 +++++++
#17 1016.0 packages/talon/talon.1.0.0~alpha3/opam | 2 +-
#17 1016.0 packages/tip-parser/tip-parser.0.6/opam | 2 +
#17 1016.0 packages/toffee/toffee.0.1.0/opam | 2 +-
#17 1016.0 packages/tree-sitter/tree-sitter.0.1.0/opam | 2 +-
#17 1016.0 packages/tw/tw.1.1.0/opam | 52 ++++++++++
#17 1016.0 packages/unstrctrd/unstrctrd.0.5/opam | 36 +++++++
#17 1016.0 packages/utcp/utcp.0.0.9/opam | 67 +++++++++++++
#17 1016.0 packages/verdict/verdict.0.1.4/opam | 56 +++++++++++
#17 1016.0 packages/wax-lib/wax-lib.0.2.0/opam | 47 +++++++++
#17 1016.0 packages/wax/wax.0.2.0/opam | 47 +++++++++
#17 1016.0 packages/windtrap/windtrap.0.2.0/opam | 49 ++++++++++
#17 1016.0 packages/z3/z3.5.1.0/opam | 71 ++++++++++++++
#17 1016.0 257 files changed, 6992 insertions(+), 251 deletions(-)
#17 1016.0 create mode 100644 packages/albatross/albatross.2.8.2/opam
#17 1016.0 create mode 100644 packages/ascon/ascon.0.2.0/opam
#17 1016.0 create mode 100644 packages/bitwuzla-cxx/bitwuzla-cxx.0.9.1/opam
#17 1016.0 create mode 100644 packages/ca-certs-nss/ca-certs-nss.3.129-1/opam
#17 1016.0 create mode 100644 packages/carton-git-lwt/carton-git-lwt.1.4.0/opam
#17 1016.0 create mode 100644 packages/carton-lwt/carton-lwt.1.4.0/opam
#17 1016.0 create mode 100644 packages/carton-miou/carton-miou.1.4.0/opam
#17 1016.0 create mode 100644 packages/carton/carton.1.4.0/opam
#17 1016.0 create mode 100644 packages/cascade/cascade.1.2.0/opam
#17 1016.0 create mode 100644 packages/cascade/cascade.1.2.1/opam
#17 1016.0 create mode 100644 packages/catala-format/catala-format.1.3.0/opam
#17 1016.0 create mode 100644 packages/catala-lsp/catala-lsp.1.3.0/opam
#17 1016.0 create mode 100644 packages/catala/catala.1.3.0/opam
#17 1016.0 create mode 100644 packages/conf-jack/conf-jack.3/opam
#17 1016.0 create mode 100644 packages/conf-libclang/conf-libclang.22/opam
#17 1016.0 create mode 100644 packages/coq-core/coq-core.9.3.0/opam
#17 1016.0 create mode 100644 packages/coq-stdlib/coq-stdlib.9.2.0/opam
#17 1016.0 create mode 100644 packages/coq/coq.9.3.0/opam
#17 1016.0 create mode 100644 packages/coqide-server/coqide-server.9.3.0/opam
#17 1016.0 create mode 100644 packages/current/current.0.8.0/opam
#17 1016.0 create mode 100644 packages/current_docker/current_docker.0.8.0/opam
#17 1016.0 create mode 100644 packages/current_examples/current_examples.0.8.0/opam
#17 1016.0 create mode 100644 packages/current_git/current_git.0.8.0/opam
#17 1016.0 create mode 100644 packages/current_github/current_github.0.8.0/opam
#17 1016.0 create mode 100644 packages/current_gitlab/current_gitlab.0.8.0/opam
#17 1016.0 create mode 100644 packages/current_rpc/current_rpc.0.8.0/opam
#17 1016.0 create mode 100644 packages/current_slack/current_slack.0.8.0/opam
#17 1016.0 create mode 100644 packages/current_ssh/current_ssh.0.8.0/opam
#17 1016.0 create mode 100644 packages/current_web/current_web.0.8.0/opam
#17 1016.0 create mode 100644 packages/curve448/curve448.0.1.0/opam
#17 1016.0 create mode 100644 packages/cvc5/cvc5.1.3.0-3/opam
#17 1016.0 create mode 100644 packages/decompress/decompress.1.6.1/opam
#17 1016.0 create mode 100644 packages/dream-html/dream-html.4.0.0/opam
#17 1016.0 create mode 100644 packages/eio/eio.1.6/opam
#17 1016.0 create mode 100644 packages/eio_linux/eio_linux.1.6/opam
#17 1016.0 create mode 100644 packages/eio_main/eio_main.1.6/opam
#17 1016.0 create mode 100644 packages/eio_posix/eio_posix.1.6/opam
#17 1016.0 create mode 100644 packages/eio_windows/eio_windows.1.6/opam
#17 1016.0 create mode 100644 packages/ffmpeg-av/ffmpeg-av.1.4.0/opam
#17 1016.0 create mode 100644 packages/ffmpeg-avcodec/ffmpeg-avcodec.1.4.0/opam
#17 1016.0 create mode 100644 packages/ffmpeg-avdevice/ffmpeg-avdevice.1.4.0/opam
#17 1016.0 create mode 100644 packages/ffmpeg-avfilter/ffmpeg-avfilter.1.4.0/opam
#17 1016.0 create mode 100644 packages/ffmpeg-avutil/ffmpeg-avutil.1.4.0/opam
#17 1016.0 create mode 100644 packages/ffmpeg-swresample/ffmpeg-swresample.1.4.0/opam
#17 1016.0 create mode 100644 packages/ffmpeg-swscale/ffmpeg-swscale.1.4.0/opam
#17 1016.0 create mode 100644 packages/ffmpeg/ffmpeg.1.4.0/opam
#17 1016.0 create mode 100644 packages/flux/flux.0.0.1~beta8/opam
#17 1016.0 create mode 100644 packages/fluxt/fluxt.0.0.1~beta8/opam
#17 1016.0 create mode 100644 packages/frama-clang/frama-clang.0.0.20/opam
#17 1016.0 create mode 100644 packages/happy-eyeballs-lwt/happy-eyeballs-lwt.2.0.2/opam
#17 1016.0 create mode 100644 packages/happy-eyeballs-miou-unix/happy-eyeballs-miou-unix.2.0.2/opam
#17 1016.0 create mode 100644 packages/happy-eyeballs-mirage/happy-eyeballs-mirage.2.0.2/opam
#17 1016.0 create mode 100644 packages/happy-eyeballs/happy-eyeballs.2.0.2/opam
#17 1016.0 create mode 100644 packages/hegel/hegel.0.24.1/opam
#17 1016.0 create mode 100644 packages/hegel/hegel.0.25.0/opam
#17 1016.0 create mode 100644 packages/hpke/hpke.0.2.0/opam
#17 1016.0 create mode 100644 packages/hpke/hpke.0.3.0/opam
#17 1016.0 create mode 100644 packages/httpcats/httpcats.0.3.3/opam
#17 1016.0 create mode 100644 packages/jack/jack.0.1.0/opam
#17 1016.0 create mode 100644 packages/kdf/kdf.1.1.2/opam
#17 1016.0 create mode 100644 packages/libdash/libdash.0.5.2/opam
#17 1016.0 create mode 100644 packages/libsail/libsail.0.20.3/opam
#17 1016.0 create mode 100644 packages/linol-eio/linol-eio.0.12/opam
#17 1016.0 create mode 100644 packages/linol-lwt/linol-lwt.0.12/opam
#17 1016.0 create mode 100644 packages/linol/linol.0.12/opam
#17 1016.0 delete mode 100644 packages/lwt/lwt.6.0.0~alpha00/opam
#17 1016.0 delete mode 100644 packages/lwt/lwt.6.0.0~beta01/opam
#17 1016.0 create mode 100644 packages/mariadb/mariadb.2.2.0/opam
#17 1016.0 create mode 100644 packages/mcrunch/mcrunch.0.0.4/opam
#17 1016.0 create mode 100644 packages/mcrunch/mcrunch.0.0.5/opam
#17 1016.0 create mode 100644 packages/menhirformat/menhirformat.0.3.0/opam
#17 1016.0 create mode 100644 packages/miniyaml/miniyaml.0.1.0/opam
#17 1016.0 create mode 100644 packages/mkernel/mkernel.0.0.5/opam
#17 1016.0 create mode 100644 packages/mldsa/mldsa.0.1.1/opam
#17 1016.0 create mode 100644 packages/mldsa/mldsa.0.2.0/opam
#17 1016.0 create mode 100644 packages/mlkem/mlkem.0.1.1/opam
#17 1016.0 create mode 100644 packages/mlkem/mlkem.0.2.0/opam
#17 1016.0 create mode 100644 packages/mm/mm.0.8.7/opam
#17 1016.0 create mode 100644 packages/moonpool-lwt/moonpool-lwt.0.12/opam
#17 1016.0 create mode 100644 packages/moonpool/moonpool.0.12/opam
#17 1016.0 create mode 100644 packages/mrmime/mrmime.0.8.0/opam
#17 1016.0 create mode 100644 packages/nel/nel.1.0.1/opam
#17 1016.0 create mode 100644 packages/ocaml-protoc-plugin/ocaml-protoc-plugin.6.3.0/opam
#17 1016.0 create mode 100644 packages/ocsigenserver-compat/ocsigenserver-compat.8.0.0/opam
#17 1016.0 create mode 100644 packages/ocsigenserver/ocsigenserver.8.0.0/opam
#17 1016.0 create mode 100644 packages/ocsipersist-dbm-config/ocsipersist-dbm-config.3.1.2/opam
#17 1016.0 create mode 100644 packages/ocsipersist-dbm/ocsipersist-dbm.3.1.2/opam
#17 1016.0 create mode 100644 packages/ocsipersist-lib/ocsipersist-lib.3.1.2/opam
#17 1016.0 create mode 100644 packages/ocsipersist-pgsql-config/ocsipersist-pgsql-config.3.1.2/opam
#17 1016.0 create mode 100644 packages/ocsipersist-pgsql/ocsipersist-pgsql.3.1.2/opam
#17 1016.0 create mode 100644 packages/ocsipersist-sqlite-config/ocsipersist-sqlite-config.3.1.2/opam
#17 1016.0 create mode 100644 packages/ocsipersist-sqlite/ocsipersist-sqlite.3.1.2/opam
#17 1016.0 create mode 100644 packages/ocsipersist/ocsipersist.3.1.2/opam
#17 1016.0 create mode 100644 packages/ozstd/ozstd.0.2/opam
#17 1016.0 create mode 100644 packages/ppx_deriving_ezjsonm/ppx_deriving_ezjsonm.0.5.0/opam
#17 1016.0 create mode 100644 packages/ppx_deriving_yaml/ppx_deriving_yaml.0.5.0/opam
#17 1016.0 create mode 100644 packages/ppx_deriving_yamlx/ppx_deriving_yamlx.0.5.0/opam
#17 1016.0 create mode 100644 packages/ppx_hegel_compat/ppx_hegel_compat.0.24.1/opam
#17 1016.0 create mode 100644 packages/ppx_hegel_compat/ppx_hegel_compat.0.25.0/opam
#17 1016.0 create mode 100644 packages/ppx_hegel_generator/ppx_hegel_generator.0.24.1/opam
#17 1016.0 create mode 100644 packages/ppx_hegel_generator/ppx_hegel_generator.0.25.0/opam
#17 1016.0 create mode 100644 packages/ppx_hegel_test/ppx_hegel_test.0.24.1/opam
#17 1016.0 create mode 100644 packages/ppx_hegel_test/ppx_hegel_test.0.25.0/opam
#17 1016.0 create mode 100644 packages/ppx_optcomp_nobase/ppx_optcomp_nobase.0.17.1/opam
#17 1016.0 create mode 100644 packages/ppx_windtrap/ppx_windtrap.0.2.0/opam
#17 1016.0 create mode 100644 packages/pure-html/pure-html.4.0.0/opam
#17 1016.0 create mode 100644 packages/rfc1951/rfc1951.1.6.1/opam
#17 1016.0 create mode 100644 packages/rocq-core/rocq-core.9.3.0/opam
#17 1016.0 create mode 100644 packages/rocq-devtools/rocq-devtools.9.3.0/opam
#17 1016.0 create mode 100644 packages/rocq-native/rocq-native.3/opam
#17 1016.0 create mode 100644 packages/rocq-runtime/rocq-runtime.9.3.0/opam
#17 1016.0 create mode 100644 packages/rocq-stdlib/rocq-stdlib.9.2.0/opam
#17 1016.0 create mode 100644 packages/rocqide/rocqide.9.3.0/opam
#17 1016.0 create mode 100644 packages/sail/sail.0.20.3/opam
#17 1016.0 create mode 100644 packages/sail_c_backend/sail_c_backend.0.20.3/opam
#17 1016.0 create mode 100644 packages/sail_coq_backend/sail_coq_backend.0.20.3/opam
#17 1016.0 create mode 100644 packages/sail_doc_backend/sail_doc_backend.0.20.3/opam
#17 1016.0 create mode 100644 packages/sail_latex_backend/sail_latex_backend.0.20.3/opam
#17 1016.0 create mode 100644 packages/sail_lean_backend/sail_lean_backend.0.20.3/opam
#17 1016.0 create mode 100644 packages/sail_lem_backend/sail_lem_backend.0.20.3/opam
#17 1016.0 create mode 100644 packages/sail_maker/sail_maker.0.20.3/opam
#17 1016.0 create mode 100644 packages/sail_ocaml_backend/sail_ocaml_backend.0.20.3/opam
#17 1016.0 create mode 100644 packages/sail_output/sail_output.0.20.3/opam
#17 1016.0 create mode 100644 packages/sail_smt_backend/sail_smt_backend.0.20.3/opam
#17 1016.0 create mode 100644 packages/sail_sv_backend/sail_sv_backend.0.20.3/opam
#17 1016.0 create mode 100644 packages/segmap/segmap.20260927/opam
#17 1016.0 create mode 100644 packages/slhdsa/slhdsa.0.1.1/opam
#17 1016.0 create mode 100644 packages/slhdsa/slhdsa.0.2.0/opam
#17 1016.0 create mode 100644 packages/smtml/smtml.0.31.0/opam
#17 1016.0 create mode 100644 packages/tally-mkernel/tally-mkernel.0.0.2/opam
#17 1016.0 create mode 100644 packages/tally-mnet/tally-mnet.0.0.2/opam
#17 1016.0 create mode 100644 packages/tally/tally.0.0.2/opam
#17 1016.0 create mode 100644 packages/tw/tw.1.1.0/opam
#17 1016.0 create mode 100644 packages/unstrctrd/unstrctrd.0.5/opam
#17 1016.0 create mode 100644 packages/utcp/utcp.0.0.9/opam
#17 1016.0 create mode 100644 packages/verdict/verdict.0.1.4/opam
#17 1016.0 create mode 100644 packages/wax-lib/wax-lib.0.2.0/opam
#17 1016.0 create mode 100644 packages/wax/wax.0.2.0/opam
#17 1016.0 create mode 100644 packages/windtrap/windtrap.0.2.0/opam
#17 1016.0 create mode 100644 packages/z3/z3.5.1.0/opam
#17 1016.6
#17 1016.6 <><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
#17 1018.1 [default] synchronised from git+file:///home/opam/opam-repository
#17 1018.2 default (at git+file:///home/opam/opam-repository):
#17 1018.2 [WARNING] opam >= 2.5.2 includes important security fixes; please consider upgrading (https://opam.ocaml.org/doc/Install.html)
#17 1018.2
#17 1028.2
#17 1028.2 <><> Synchronising development packages <><><><><><><><><><><><><><><><><><><><>
#17 1028.5 [hilite.0.6.0] synchronised (no changes)
#17 1028.5 Now run 'opam upgrade' to apply any package updates.
#17 DONE 1028.9s
#18 [build 12/12] RUN touch package.state && ./init-cache package.state
#18 0.414 PID=10
#18 0.415 Setting up watches.
#18 0.415 Watches established.
#18 22.95 Packed 17966429 bytes to src/ocamlorg_data/data.bin
#18 33.53 main.exe: [INFO] State cache file: package.state
#18 33.53 main.exe: [INFO] Package state starting from scratch
#18 33.53 02.10.26 11:23:51.750 Running on 0.0.0.0:8080 (http://localhost:8080)
#18 33.53 02.10.26 11:23:51.750 Type Ctrl+C to stop
#18 34.14 02.10.26 11:23:52.350 INFO Update server state
#18 34.14 02.10.26 11:23:52.350 INFO Opam repository is currently at ac27950e5eac6c981ad809dff370c937820b7893
#18 34.14 02.10.26 11:23:52.350 INFO Updating opam package list
#18 34.33 02.10.26 11:23:52.542 INFO List packages: 0.19s
#18 40.62 02.10.26 11:23:58.834 INFO Read opam files: 6.29s
#18 40.62 02.10.26 11:23:58.834 INFO Read packages: 6.48s
#18 45.99 02.10.26 11:24:04.205 INFO Dependencies: 5.34s
#18 53.69 02.10.26 11:24:11.904 INFO Reverse dependencies: 7.70s
#18 107.5 02.10.26 11:25:05.694 INFO Publication dates: 53.79s
#18 118.0 02.10.26 11:25:16.234 INFO Generate package info: 10.54s
#18 118.0 02.10.26 11:25:16.234 INFO Compute package info: 77.40s
#18 118.6 02.10.26 11:25:16.843 INFO Compute statistics: 0.61s
#18 118.6 02.10.26 11:25:16.844 INFO Loaded 4657 packages
#18 118.6 02.10.26 11:25:16.844 INFO Package state saved
#18 119.0 package.state CLOSE_WRITE,CLOSE
#18 DONE 119.3s
#19 [stage-1 2/9] RUN apk -U upgrade --no-cache && apk add --no-cache git gmp libev
#19 CACHED
#20 [stage-1 3/9] COPY --from=build /home/opam/package.state /var/package.state
#20 CACHED
#21 [stage-1 4/9] COPY --from=build /home/opam/opam-repository /var/opam-repository
#21 DONE 15.5s
#22 [stage-1 5/9] COPY --from=build /home/opam/_build/default/src/ocamlorg_web/bin/main.exe /bin/server
#22 DONE 0.2s
#23 [stage-1 6/9] COPY playground/asset playground/asset
#23 DONE 0.1s
#24 [stage-1 7/9] RUN git clone https://github.com/ocaml-web/html-compiler-manuals /manual
#24 0.580 Cloning into '/manual'...
#24 10.94 Updating files: 39% (6196/15655)
Updating files: 40% (6262/15655)
Updating files: 41% (6419/15655)
Updating files: 42% (6576/15655)
Updating files: 43% (6732/15655)
Updating files: 44% (6889/15655)
Updating files: 45% (7045/15655)
Updating files: 46% (7202/15655)
Updating files: 47% (7358/15655)
Updating files: 48% (7515/15655)
Updating files: 49% (7671/15655)
Updating files: 50% (7828/15655)
Updating files: 51% (7985/15655)
Updating files: 52% (8141/15655)
Updating files: 53% (8298/15655)
Updating files: 54% (8454/15655)
Updating files: 55% (8611/15655)
Updating files: 56% (8767/15655)
Updating files: 57% (8924/15655)
Updating files: 58% (9080/15655)
Updating files: 59% (9237/15655)
Updating files: 60% (9393/15655)
Updating files: 61% (9550/15655)
Updating files: 62% (9707/15655)
Updating files: 63% (9863/15655)
Updating files: 64% (10020/15655)
Updating files: 65% (10176/15655)
Updating files: 66% (10333/15655)
Updating files: 67% (10489/15655)
Updating files: 68% (10646/15655)
Updating files: 69% (10802/15655)
Updating files: 70% (10959/15655)
Updating files: 71% (11116/15655)
Updating files: 72% (11272/15655)
Updating files: 73% (11429/15655)
Updating files: 74% (11585/15655)
Updating files: 75% (11742/15655)
Updating files: 76% (11898/15655)
Updating files: 77% (12055/15655)
Updating files: 78% (12211/15655)
Updating files: 79% (12368/15655)
Updating files: 80% (12524/15655)
Updating files: 81% (12681/15655)
Updating files: 82% (12838/15655)
Updating files: 83% (12994/15655)
Updating files: 83% (13106/15655)
Updating files: 84% (13151/15655)
Updating files: 85% (13307/15655)
Updating files: 86% (13464/15655)
Updating files: 87% (13620/15655)
Updating files: 88% (13777/15655)
Updating files: 89% (13933/15655)
Updating files: 90% (14090/15655)
Updating files: 91% (14247/15655)
Updating files: 92% (14403/15655)
Updating files: 93% (14560/15655)
Updating files: 94% (14716/15655)
Updating files: 95% (14873/15655)
Updating files: 96% (15029/15655)
Updating files: 97% (15186/15655)
Updating files: 98% (15342/15655)
Updating files: 99% (15499/15655)
Updating files: 100% (15655/15655)
Updating files: 100% (15655/15655), done.
#24 DONE 12.9s
#25 [stage-1 8/9] ADD data/v2 /v2
#25 DONE 0.1s
#26 [stage-1 9/9] RUN git config --global --add safe.directory /var/opam-repository
#26 DONE 0.4s
#27 exporting to image
#27 exporting layers
#27 exporting layers 11.5s done
#27 writing image sha256:a08ecf2368e6e3a1e3347f3d240a39c98377ff91050a6e1ec4cb1f88384d8147 done
#27 DONE 11.5s
Job succeeded
2026-10-02 11:30.31: Job succeeded