Build:
- 0
2026-10-02 09:30.40: New job: Build Dockerfile using linux-x86_64 in
[https://github.com/ocaml/ocaml.org.git#refs/heads/search-query-logging (6ea93dd5bbd5313d3cc1f5ec2b4cb915122856b4)]
2026-10-02 09:30.40: Using cache hint "https://github.com/ocaml/ocaml.org.git-Dockerfile"
2026-10-02 09:30.40: Waiting for resource in pool OCluster
2026-10-02 09:30.40: Waiting for worker…
2026-10-02 09:40.08: Got resource from pool OCluster
Building on toxis.caelum.ci.dev
HEAD is now at 022bcac79 search-bench: Haiku multi-pass judge, train/holdout split, in-tool stats
HEAD is now at 6ea93dd5b search: capture search terms via Plausible (aggregate) to feed the benchmark
#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 ...
#3 [internal] load metadata for docker.io/library/alpine:3.24
#3 DONE 0.5s
#4 [stage-1 1/9] FROM docker.io/library/alpine:3.24@sha256:294b683cb724975bec92580e1e685676bd4b50bda910ddb8c51d4cabeaec77e6
#4 DONE 0.0s
#5 [build 1/12] FROM docker.io/ocaml/opam:alpine-3.24-ocaml-5.2@sha256:610507205021deb035d60e37c731cc46929a9d25216562225fdcdfaf969d1b41
#5 DONE 0.0s
#2 [internal] load metadata for docker.io/ocaml/opam:alpine-3.24-ocaml-5.2
#2 DONE 0.5s
#6 [internal] load .dockerignore
#6 transferring context: 162B done
#6 DONE 0.1s
#7 [internal] load build context
#7 transferring context: 326.47MB 5.0s
#7 transferring context: 364.97MB 5.7s done
#7 DONE 5.9s
#8 [build 8/12] RUN OPAMSOLVERTIMEOUT=300 opam install . --deps-only
#8 CACHED
#9 [build 6/12] WORKDIR /home/opam
#9 CACHED
#10 [build 7/12] COPY --chown=opam ocamlorg.opam .
#10 CACHED
#11 [build 8/12] RUN OPAMSOLVERTIMEOUT=300 opam install . --deps-only
#11 CACHED
#12 [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
#12 CACHED
#13 [build 3/12] RUN sudo mv /usr/bin/opam-2.2 /usr/bin/opam && opam update
#13 CACHED
#14 [build 4/12] RUN opam option --global 'archive-mirrors+="https://opam.ocaml.org/cache"'
#14 CACHED
#15 [build 5/12] RUN cd ~/opam-repository && git reset --hard 8cdfa3296d9bc7d93273f46eb2438757e4fd5cf0 && opam update
#15 CACHED
#16 [build 9/12] COPY --chown=opam . .
#16 DONE 3.7s
#17 [build 10/12] RUN opam exec -- dune build @install --profile=release
#17 9.823
#=#=#
##### 7.0%
########## 14.1%
############## 19.6%
################ 22.5%
################### 27.0%
######################## 33.7%
########################### 38.5%
############################### 43.7%
#################################### 50.5%
######################################### 58.0%
############################################## 65.3%
################################################## 70.3%
##################################################### 75.0%
########################################################### 82.2%
################################################################# 90.9%
######################################################################## 100.0%
#17 16.63 Browserslist: caniuse-lite is outdated. Please run:
#17 16.63 npx update-browserslist-db@latest
#17 16.63 Why you should do it regularly: https://github.com/browserslist/update-db#readme
#17 16.63
#17 16.63 Rebuilding...
#17 16.63
#17 16.63 Done in 3790ms.
#17 37.21 Packed 17952385 bytes to src/ocamlorg_data/data.bin
#17 DONE 54.3s
#18 [build 11/12] RUN cd ~/opam-repository && git checkout master && git pull origin master && opam update
#18 0.734 Already on 'master'
#18 5.398 From https://github.com/ocaml/opam-repository
#18 5.398 * branch master -> FETCH_HEAD
#18 5.398 3055f69ae0..ac27950e5e master -> origin/master
#18 ...
#19 [stage-1 2/9] RUN apk -U upgrade --no-cache && apk add --no-cache git gmp libev
#19 CACHED
#18 [build 11/12] RUN cd ~/opam-repository && git checkout master && git pull origin master && opam update
#18 1146.5 Updating 8cdfa3296d..ac27950e5e
#18 1146.6 Fast-forward
#18 1146.8 packages/ISO8601/ISO8601.0.1.2/opam | 3 +-
#18 1146.8 packages/ISO8601/ISO8601.0.2.0/opam | 3 +-
#18 1146.8 packages/ISO8601/ISO8601.0.2.2/opam | 3 +-
#18 1146.8 packages/ISO8601/ISO8601.0.2.3/opam | 3 +-
#18 1146.8 packages/ISO8601/ISO8601.0.2.4/opam | 3 +-
#18 1146.8 packages/ISO8601/ISO8601.0.2.5/opam | 3 +-
#18 1146.8 packages/ISO8601/ISO8601.0.2.6/opam | 1 +
#18 1146.8 packages/albatross/albatross.2.8.2/opam | 71 ++++++++++++++
#18 1146.8 packages/ascon/ascon.0.2.0/opam | 41 ++++++++
#18 1146.8 packages/bigstring-unix/bigstring-unix.0.3/opam | 1 +
#18 1146.8 packages/bigstring/bigstring.0.2/opam | 1 +
#18 1146.8 packages/bigstring/bigstring.0.3/opam | 2 +
#18 1146.8 packages/binary_tree/binary_tree.1.0/opam | 2 +-
#18 1146.8 packages/bitwuzla-bin/bitwuzla-bin.1.0.0/opam | 4 +-
#18 1146.8 packages/bitwuzla-c/bitwuzla-c.1.0.6/opam | 1 +
#18 1146.8 packages/bitwuzla-cxx/bitwuzla-cxx.0.9.1/opam | 52 ++++++++++
#18 1146.8 packages/bitwuzla/bitwuzla.1.0.6/opam | 1 +
#18 1146.8 packages/bjack/bjack.0.1.4/opam | 3 +-
#18 1146.8 packages/bjack/bjack.0.1.5/opam | 3 +-
#18 1146.8 packages/bjack/bjack.0.1.6/opam | 2 +
#18 1146.8 packages/brot/brot.1.0.0~alpha3/opam | 2 +-
#18 1146.8 packages/ca-certs-nss/ca-certs-nss.3.129-1/opam | 54 +++++++++++
#18 1146.8 packages/carton-git-lwt/carton-git-lwt.1.4.0/opam | 38 ++++++++
#18 1146.8 packages/carton-lwt/carton-lwt.1.4.0/opam | 38 ++++++++
#18 1146.8 packages/carton-miou/carton-miou.1.4.0/opam | 42 +++++++++
#18 1146.8 packages/carton/carton.1.4.0/opam | 41 ++++++++
#18 1146.8 packages/cascade/cascade.1.2.0/opam | 58 ++++++++++++
#18 1146.8 packages/cascade/cascade.1.2.1/opam | 58 ++++++++++++
#18 1146.8 packages/catala-format/catala-format.1.3.0/opam | 37 ++++++++
#18 1146.8 packages/catala-lsp/catala-lsp.1.3.0/opam | 47 +++++++++
#18 1146.8 packages/catala/catala.1.3.0/opam | 84 +++++++++++++++++
#18 1146.8 packages/cconv/cconv.0.2/opam | 3 +-
#18 1146.8 packages/cconv/cconv.0.5/opam | 2 +
#18 1146.8 packages/choice/choice.0.1/opam | 3 +-
#18 1146.8 packages/choice/choice.0.2/opam | 3 +-
#18 1146.8 packages/choice/choice.0.3/opam | 3 +-
#18 1146.8 packages/choice/choice.0.4/opam | 1 +
#18 1146.8 packages/conf-automake/conf-automake.1/opam | 2 +-
#18 1146.8 packages/conf-dbm/conf-dbm.1.0.0/opam | 1 +
#18 1146.8 packages/conf-jack/conf-jack.3/opam | 39 ++++++++
#18 1146.8 packages/conf-libclang/conf-libclang.22/opam | 61 ++++++++++++
#18 1146.8 packages/conf-libtool/conf-libtool.1/opam | 1 +
#18 1146.8 .../conf-protoc-dev/conf-protoc-dev.1.0.0/opam | 1 +
#18 1146.8 packages/conf-protoc/conf-protoc.4.4.0/opam | 2 +
#18 1146.8 packages/coq-core/coq-core.9.3.0/opam | 52 ++++++++++
#18 1146.8 packages/coq-stdlib/coq-stdlib.9.2.0/opam | 16 ++++
#18 1146.8 packages/coq/coq.9.3.0/opam | 14 +++
#18 1146.8 packages/coqide-server/coqide-server.9.3.0/opam | 44 +++++++++
#18 1146.8 packages/cpu/cpu.2.0.0/opam | 1 +
#18 1146.8 packages/current/current.0.8.0/opam | 94 ++++++++++++++++++
#18 1146.8 packages/current_docker/current_docker.0.8.0/opam | 83 ++++++++++++++++
#18 1146.8 .../current_examples/current_examples.0.8.0/opam | 98 +++++++++++++++++++
#18 1146.8 packages/current_git/current_git.0.8.0/opam | 88 +++++++++++++++++
#18 1146.8 packages/current_github/current_github.0.8.0/opam | 97 +++++++++++++++++++
#18 1146.8 packages/current_gitlab/current_gitlab.0.8.0/opam | 59 ++++++++++++
#18 1146.8 packages/current_rpc/current_rpc.0.8.0/opam | 86 +++++++++++++++++
#18 1146.8 packages/current_slack/current_slack.0.8.0/opam | 77 +++++++++++++++
#18 1146.8 packages/current_ssh/current_ssh.0.8.0/opam | 43 +++++++++
#18 1146.8 packages/current_web/current_web.0.8.0/opam | 105 +++++++++++++++++++++
#18 1146.8 packages/curve448/curve448.0.1.0/opam | 60 ++++++++++++
#18 1146.8 packages/cvc5/cvc5.1.3.0-3/opam | 46 +++++++++
#18 1146.8 packages/dataframe/dataframe.0.1/opam | 1 +
#18 1146.8 packages/decompress/decompress.1.6.1/opam | 41 ++++++++
#18 1146.8 packages/dose3-extra/dose3-extra.7.0.0/opam | 1 +
#18 1146.8 packages/dose3/dose3.5.0.1-1/opam | 2 +-
#18 1146.8 packages/dose3/dose3.5.0.1-2/opam | 2 +-
#18 1146.8 packages/dose3/dose3.5.0.1/opam | 2 +-
#18 1146.8 packages/dose3/dose3.6.1/opam | 2 +-
#18 1146.8 packages/dream-html/dream-html.4.0.0/opam | 44 +++++++++
#18 1146.8 packages/eio/eio.1.6/opam | 57 +++++++++++
#18 1146.8 packages/eio_linux/eio_linux.1.6/opam | 48 ++++++++++
#18 1146.8 packages/eio_main/eio_main.1.6/opam | 48 ++++++++++
#18 1146.8 packages/eio_posix/eio_posix.1.6/opam | 46 +++++++++
#18 1146.8 packages/eio_windows/eio_windows.1.6/opam | 44 +++++++++
#18 1146.8 packages/fehu/fehu.1.0.0~alpha3/opam | 2 +-
#18 1146.8 packages/ffmpeg-av/ffmpeg-av.1.4.0/opam | 50 ++++++++++
#18 1146.8 packages/ffmpeg-avcodec/ffmpeg-avcodec.1.4.0/opam | 49 ++++++++++
#18 1146.8 .../ffmpeg-avdevice/ffmpeg-avdevice.1.4.0/opam | 49 ++++++++++
#18 1146.8 .../ffmpeg-avfilter/ffmpeg-avfilter.1.4.0/opam | 49 ++++++++++
#18 1146.8 packages/ffmpeg-avutil/ffmpeg-avutil.1.4.0/opam | 50 ++++++++++
#18 1146.8 .../ffmpeg-swresample/ffmpeg-swresample.1.4.0/opam | 50 ++++++++++
#18 1146.8 packages/ffmpeg-swscale/ffmpeg-swscale.1.4.0/opam | 49 ++++++++++
#18 1146.8 packages/ffmpeg/ffmpeg.1.4.0/opam | 43 +++++++++
#18 1146.8 packages/flock/flock.1.0.0/opam | 1 +
#18 1146.8 packages/flux/flux.0.0.1~beta8/opam | 35 +++++++
#18 1146.8 packages/fluxt/fluxt.0.0.1~beta8/opam | 38 ++++++++
#18 1146.8 packages/frama-clang/frama-clang.0.0.20/opam | 50 ++++++++++
#18 1146.8 packages/gadelac/gadelac.0.6.1/opam | 5 +-
#18 1146.8 packages/gadelac/gadelac.0.6/opam | 6 +-
#18 1146.8 .../github-hooks-unix/github-hooks-unix.0.2.0/opam | 1 +
#18 1146.8 .../github-hooks-unix/github-hooks-unix.0.5.0/opam | 1 +
#18 1146.8 packages/github-hooks/github-hooks.0.4.0/opam | 1 +
#18 1146.8 packages/github-hooks/github-hooks.0.5.0/opam | 1 +
#18 1146.8 .../happy-eyeballs-lwt.2.0.2/opam | 44 +++++++++
#18 1146.8 .../happy-eyeballs-miou-unix.2.0.2/opam | 43 +++++++++
#18 1146.8 .../happy-eyeballs-mirage.2.0.2/opam | 44 +++++++++
#18 1146.8 packages/happy-eyeballs/happy-eyeballs.2.0.2/opam | 41 ++++++++
#18 1146.8 packages/hegel/hegel.0.24.1/opam | 56 +++++++++++
#18 1146.8 packages/hegel/hegel.0.25.0/opam | 57 +++++++++++
#18 1146.8 packages/hpke/hpke.0.2.0/opam | 43 +++++++++
#18 1146.8 packages/hpke/hpke.0.3.0/opam | 47 +++++++++
#18 1146.8 packages/httpcats/httpcats.0.3.3/opam | 42 +++++++++
#18 1146.8 packages/hugin/hugin.1.0.0~alpha3/opam | 2 +-
#18 1146.8 packages/jack/jack.0.1.0/opam | 40 ++++++++
#18 1146.8 .../janestreet_cpuid/janestreet_cpuid.v0.16.0/opam | 3 +-
#18 1146.8 .../janestreet_cpuid/janestreet_cpuid.v0.17.0/opam | 8 +-
#18 1146.8 packages/kaun/kaun.1.0.0~alpha3/opam | 2 +-
#18 1146.8 packages/kdf/kdf.1.1.2/opam | 37 ++++++++
#18 1146.8 packages/libdash/libdash.0.5.2/opam | 43 +++++++++
#18 1146.8 packages/libsail/libsail.0.20.3/opam | 70 ++++++++++++++
#18 1146.8 packages/linol-eio/linol-eio.0.12/opam | 40 ++++++++
#18 1146.8 packages/linol-lwt/linol-lwt.0.11/opam | 2 +-
#18 1146.8 packages/linol-lwt/linol-lwt.0.12/opam | 39 ++++++++
#18 1146.8 packages/linol/linol.0.12/opam | 41 ++++++++
#18 1146.8 .../liquidsoap-core/liquidsoap-core.2.3.0/opam | 6 +-
#18 1146.8 packages/liquidsoap/liquidsoap.2.3.3/opam | 2 +-
#18 1146.8 packages/liquidsoap/liquidsoap.2.4.0/opam | 2 +-
#18 1146.8 packages/liquidsoap/liquidsoap.2.4.2/opam | 2 +-
#18 1146.8 packages/liquidsoap/liquidsoap.2.4.3/opam | 6 +-
#18 1146.8 packages/liquidsoap/liquidsoap.2.4.4/opam | 6 +-
#18 1146.8 packages/liquidsoap/liquidsoap.2.4.5/opam | 6 +-
#18 1146.8 packages/lwt-pipe/lwt-pipe.0.1/opam | 1 +
#18 1146.8 packages/lwt/lwt.6.0.0~alpha00/opam | 68 -------------
#18 1146.8 packages/lwt/lwt.6.0.0~beta01/opam | 66 -------------
#18 1146.8 packages/mariadb/mariadb.2.2.0/opam | 40 ++++++++
#18 1146.8 packages/matrix/matrix.0.1.0/opam | 2 +-
#18 1146.8 packages/mcrunch/mcrunch.0.0.4/opam | 33 +++++++
#18 1146.8 packages/mcrunch/mcrunch.0.0.5/opam | 33 +++++++
#18 1146.8 packages/menhir-lsp/menhir-lsp.0.1.1/opam | 2 +-
#18 1146.8 packages/menhir-lsp/menhir-lsp.0.1.2/opam | 2 +-
#18 1146.8 packages/menhir-lsp/menhir-lsp.0.2/opam | 2 +-
#18 1146.8 packages/menhirformat/menhirformat.0.3.0/opam | 55 +++++++++++
#18 1146.8 packages/minicli/minicli.1.0.0/opam | 3 +-
#18 1146.8 packages/minicli/minicli.2.0.0/opam | 3 +-
#18 1146.8 packages/minicli/minicli.3.0.0/opam | 3 +-
#18 1146.8 packages/minicli/minicli.4.0.0/opam | 3 +-
#18 1146.8 packages/minicli/minicli.5.0.0/opam | 1 +
#18 1146.8 packages/minicli/minicli.5.0.1/opam | 1 +
#18 1146.8 packages/minicli/minicli.5.0.2/opam | 1 +
#18 1146.8 packages/miniyaml/miniyaml.0.1.0/opam | 38 ++++++++
#18 1146.8 packages/mkernel/mkernel.0.0.5/opam | 39 ++++++++
#18 1146.8 packages/mldsa/mldsa.0.1.1/opam | 40 ++++++++
#18 1146.8 packages/mldsa/mldsa.0.2.0/opam | 40 ++++++++
#18 1146.8 packages/mlkem/mlkem.0.1.1/opam | 40 ++++++++
#18 1146.8 packages/mlkem/mlkem.0.2.0/opam | 40 ++++++++
#18 1146.8 packages/mm/mm.0.8.7/opam | 45 +++++++++
#18 1146.8 packages/moonpool-lwt/moonpool-lwt.0.12/opam | 43 +++++++++
#18 1146.8 packages/moonpool/moonpool.0.12/opam | 53 +++++++++++
#18 1146.8 packages/mosaic/mosaic.0.1.0/opam | 2 +-
#18 1146.8 packages/mpris-clients/mpris-clients.0.2.0/opam | 1 +
#18 1146.8 packages/mpris/mpris.0.2.0/opam | 1 +
#18 1146.8 packages/mrmime/mrmime.0.8.0/opam | 56 +++++++++++
#18 1146.8 packages/mvar/mvar.1.0.0/opam | 1 +
#18 1146.8 packages/nel/nel.1.0.1/opam | 53 +++++++++++
#18 1146.8 packages/nocoiner/nocoiner.0.0.1/opam | 1 +
#18 1146.8 packages/nocoiner/nocoiner.1.0.0/opam | 1 +
#18 1146.8 packages/nx/nx.1.0.0~alpha3/opam | 2 +-
#18 1146.8 .../ocaml-protoc-plugin.6.3.0/opam | 65 +++++++++++++
#18 1146.8 packages/ocamldiff/ocamldiff.1.1/opam | 4 +-
#18 1146.8 packages/ocamldiff/ocamldiff.1.2/opam | 3 +-
#18 1146.8 .../ocsigenserver-compat.8.0.0/opam | 39 ++++++++
#18 1146.8 packages/ocsigenserver/ocsigenserver.8.0.0/opam | 80 ++++++++++++++++
#18 1146.8 .../ocsipersist-dbm-config.2.0.0/opam | 2 +-
#18 1146.8 .../ocsipersist-dbm-config.2.1.0/opam | 2 +-
#18 1146.8 .../ocsipersist-dbm-config.3.1.2/opam | 42 +++++++++
#18 1146.8 .../ocsipersist-dbm/ocsipersist-dbm.1.0.1/opam | 2 +-
#18 1146.8 packages/ocsipersist-dbm/ocsipersist-dbm.1.0/opam | 2 +-
#18 1146.8 .../ocsipersist-dbm/ocsipersist-dbm.1.1.0/opam | 2 +-
#18 1146.8 .../ocsipersist-dbm/ocsipersist-dbm.3.1.2/opam | 43 +++++++++
#18 1146.8 .../ocsipersist-lib/ocsipersist-lib.2.1.0/opam | 2 +-
#18 1146.8 .../ocsipersist-lib/ocsipersist-lib.3.1.2/opam | 41 ++++++++
#18 1146.8 .../ocsipersist-pgsql-config.2.0.0/opam | 2 +-
#18 1146.8 .../ocsipersist-pgsql-config.2.1.0/opam | 2 +-
#18 1146.8 .../ocsipersist-pgsql-config.3.1.2/opam | 41 ++++++++
#18 1146.8 .../ocsipersist-pgsql/ocsipersist-pgsql.1.0.1/opam | 2 +-
#18 1146.8 .../ocsipersist-pgsql/ocsipersist-pgsql.1.0.2/opam | 2 +-
#18 1146.8 .../ocsipersist-pgsql/ocsipersist-pgsql.1.0.3/opam | 2 +-
#18 1146.8 .../ocsipersist-pgsql/ocsipersist-pgsql.1.0.4/opam | 2 +-
#18 1146.8 .../ocsipersist-pgsql/ocsipersist-pgsql.1.0.5/opam | 2 +-
#18 1146.8 .../ocsipersist-pgsql/ocsipersist-pgsql.1.0/opam | 2 +-
#18 1146.8 .../ocsipersist-pgsql/ocsipersist-pgsql.1.1.0/opam | 2 +-
#18 1146.8 .../ocsipersist-pgsql/ocsipersist-pgsql.3.1.2/opam | 43 +++++++++
#18 1146.8 .../ocsipersist-sqlite-config.2.0.0/opam | 2 +-
#18 1146.8 .../ocsipersist-sqlite-config.2.1.0/opam | 2 +-
#18 1146.8 .../ocsipersist-sqlite-config.3.1.2/opam | 42 +++++++++
#18 1146.8 .../ocsipersist-sqlite/ocsipersist-sqlite.1.0/opam | 2 +-
#18 1146.8 .../ocsipersist-sqlite.1.1.0/opam | 2 +-
#18 1146.8 .../ocsipersist-sqlite.3.1.2/opam | 43 +++++++++
#18 1146.8 packages/ocsipersist/ocsipersist.1.0.1/opam | 2 +-
#18 1146.8 packages/ocsipersist/ocsipersist.1.0/opam | 2 +-
#18 1146.8 packages/ocsipersist/ocsipersist.1.1.0/opam | 2 +-
#18 1146.8 packages/ocsipersist/ocsipersist.3.1.2/opam | 46 +++++++++
#18 1146.8 packages/ollvm/ollvm.0.99/opam | 11 +--
#18 1146.8 packages/openai-gym/openai-gym.0.01/opam | 4 +-
#18 1146.8 packages/ozstd/ozstd.0.2/opam | 43 +++++++++
#18 1146.8 .../ppx_deriving_ezjsonm.0.5.0/opam | 46 +++++++++
#18 1146.8 .../ppx_deriving_yaml/ppx_deriving_yaml.0.5.0/opam | 45 +++++++++
#18 1146.8 .../ppx_deriving_yamlx.0.5.0/opam | 45 +++++++++
#18 1146.8 .../ppx_hegel_compat/ppx_hegel_compat.0.24.1/opam | 43 +++++++++
#18 1146.8 .../ppx_hegel_compat/ppx_hegel_compat.0.25.0/opam | 43 +++++++++
#18 1146.8 .../ppx_hegel_generator.0.24.1/opam | 43 +++++++++
#18 1146.8 .../ppx_hegel_generator.0.25.0/opam | 43 +++++++++
#18 1146.8 packages/ppx_hegel_test/ppx_hegel_test.0.24.1/opam | 42 +++++++++
#18 1146.8 packages/ppx_hegel_test/ppx_hegel_test.0.25.0/opam | 42 +++++++++
#18 1146.8 packages/ppx_mixins/ppx_mixins.0.1/opam | 10 +-
#18 1146.8 packages/ppx_mixins/ppx_mixins.0.2.0/opam | 10 +-
#18 1146.8 .../ppx_optcomp_nobase.0.17.1/opam | 40 ++++++++
#18 1146.8 packages/ppx_windtrap/ppx_windtrap.0.2.0/opam | 42 +++++++++
#18 1146.8 packages/pure-html/pure-html.4.0.0/opam | 41 ++++++++
#18 1146.8 packages/quill/quill.1.0.0~alpha3/opam | 2 +-
#18 1146.8 packages/rfc1951/rfc1951.1.6.1/opam | 34 +++++++
#18 1146.8 packages/rocq-core/rocq-core.9.3.0/opam | 53 +++++++++++
#18 1146.8 packages/rocq-devtools/rocq-devtools.9.3.0/opam | 50 ++++++++++
#18 1146.8 packages/rocq-native/rocq-native.3/opam | 30 ++++++
#18 1146.8 packages/rocq-runtime/rocq-runtime.9.3.0/opam | 71 ++++++++++++++
#18 1146.8 packages/rocq-stdlib/rocq-stdlib.9.1.0/opam | 3 +-
#18 1146.8 packages/rocq-stdlib/rocq-stdlib.9.2.0/opam | 40 ++++++++
#18 1146.8 packages/rocqide/rocqide.9.3.0/opam | 47 +++++++++
#18 1146.8 packages/rune/rune.1.0.0~alpha3/opam | 2 +-
#18 1146.8 packages/sail/sail.0.20.3/opam | 74 +++++++++++++++
#18 1146.8 packages/sail_c_backend/sail_c_backend.0.20.3/opam | 50 ++++++++++
#18 1146.8 .../sail_coq_backend/sail_coq_backend.0.20.3/opam | 50 ++++++++++
#18 1146.8 .../sail_doc_backend/sail_doc_backend.0.20.3/opam | 52 ++++++++++
#18 1146.8 .../sail_latex_backend.0.20.3/opam | 51 ++++++++++
#18 1146.8 .../sail_lean_backend.0.20.3/opam | 50 ++++++++++
#18 1146.8 .../sail_lem_backend/sail_lem_backend.0.20.3/opam | 50 ++++++++++
#18 1146.8 packages/sail_maker/sail_maker.0.20.3/opam | 50 ++++++++++
#18 1146.8 .../sail_ocaml_backend.0.20.3/opam | 51 ++++++++++
#18 1146.8 packages/sail_output/sail_output.0.20.3/opam | 50 ++++++++++
#18 1146.8 .../sail_smt_backend/sail_smt_backend.0.20.3/opam | 50 ++++++++++
#18 1146.8 .../sail_sv_backend/sail_sv_backend.0.20.3/opam | 50 ++++++++++
#18 1146.8 packages/segmap/segmap.20260927/opam | 38 ++++++++
#18 1146.8 packages/slhdsa/slhdsa.0.1.1/opam | 40 ++++++++
#18 1146.8 packages/slhdsa/slhdsa.0.2.0/opam | 40 ++++++++
#18 1146.8 packages/smtml/smtml.0.28.0/opam | 2 +-
#18 1146.8 packages/smtml/smtml.0.29.0/opam | 2 +-
#18 1146.8 packages/smtml/smtml.0.30.0/opam | 2 +-
#18 1146.8 packages/smtml/smtml.0.31.0/opam | 100 ++++++++++++++++++++
#18 1146.8 packages/soteria/soteria.0.1.0/opam | 8 +-
#18 1146.8 packages/soteria/soteria.0.2.3/opam | 8 +-
#18 1146.8 packages/sowilo/sowilo.1.0.0~alpha3/opam | 2 +-
#18 1146.8 packages/tally-mkernel/tally-mkernel.0.0.1/opam | 2 +-
#18 1146.8 packages/tally-mkernel/tally-mkernel.0.0.2/opam | 29 ++++++
#18 1146.8 packages/tally-mnet/tally-mnet.0.0.2/opam | 32 +++++++
#18 1146.8 packages/tally/tally.0.0.2/opam | 32 +++++++
#18 1146.8 packages/talon/talon.1.0.0~alpha3/opam | 2 +-
#18 1146.8 packages/tip-parser/tip-parser.0.6/opam | 2 +
#18 1146.8 packages/toffee/toffee.0.1.0/opam | 2 +-
#18 1146.8 packages/tree-sitter/tree-sitter.0.1.0/opam | 2 +-
#18 1146.8 packages/tw/tw.1.1.0/opam | 52 ++++++++++
#18 1146.8 packages/unstrctrd/unstrctrd.0.5/opam | 36 +++++++
#18 1146.8 packages/utcp/utcp.0.0.9/opam | 67 +++++++++++++
#18 1146.8 packages/verdict/verdict.0.1.4/opam | 56 +++++++++++
#18 1146.8 packages/wax-lib/wax-lib.0.2.0/opam | 47 +++++++++
#18 1146.8 packages/wax/wax.0.2.0/opam | 47 +++++++++
#18 1146.8 packages/windtrap/windtrap.0.2.0/opam | 49 ++++++++++
#18 1146.8 packages/z3/z3.5.1.0/opam | 71 ++++++++++++++
#18 1146.8 257 files changed, 6992 insertions(+), 251 deletions(-)
#18 1146.8 create mode 100644 packages/albatross/albatross.2.8.2/opam
#18 1146.8 create mode 100644 packages/ascon/ascon.0.2.0/opam
#18 1146.8 create mode 100644 packages/bitwuzla-cxx/bitwuzla-cxx.0.9.1/opam
#18 1146.8 create mode 100644 packages/ca-certs-nss/ca-certs-nss.3.129-1/opam
#18 1146.8 create mode 100644 packages/carton-git-lwt/carton-git-lwt.1.4.0/opam
#18 1146.8 create mode 100644 packages/carton-lwt/carton-lwt.1.4.0/opam
#18 1146.8 create mode 100644 packages/carton-miou/carton-miou.1.4.0/opam
#18 1146.8 create mode 100644 packages/carton/carton.1.4.0/opam
#18 1146.8 create mode 100644 packages/cascade/cascade.1.2.0/opam
#18 1146.8 create mode 100644 packages/cascade/cascade.1.2.1/opam
#18 1146.8 create mode 100644 packages/catala-format/catala-format.1.3.0/opam
#18 1146.8 create mode 100644 packages/catala-lsp/catala-lsp.1.3.0/opam
#18 1146.8 create mode 100644 packages/catala/catala.1.3.0/opam
#18 1146.8 create mode 100644 packages/conf-jack/conf-jack.3/opam
#18 1146.8 create mode 100644 packages/conf-libclang/conf-libclang.22/opam
#18 1146.8 create mode 100644 packages/coq-core/coq-core.9.3.0/opam
#18 1146.8 create mode 100644 packages/coq-stdlib/coq-stdlib.9.2.0/opam
#18 1146.8 create mode 100644 packages/coq/coq.9.3.0/opam
#18 1146.8 create mode 100644 packages/coqide-server/coqide-server.9.3.0/opam
#18 1146.8 create mode 100644 packages/current/current.0.8.0/opam
#18 1146.8 create mode 100644 packages/current_docker/current_docker.0.8.0/opam
#18 1146.8 create mode 100644 packages/current_examples/current_examples.0.8.0/opam
#18 1146.8 create mode 100644 packages/current_git/current_git.0.8.0/opam
#18 1146.8 create mode 100644 packages/current_github/current_github.0.8.0/opam
#18 1146.8 create mode 100644 packages/current_gitlab/current_gitlab.0.8.0/opam
#18 1146.8 create mode 100644 packages/current_rpc/current_rpc.0.8.0/opam
#18 1146.8 create mode 100644 packages/current_slack/current_slack.0.8.0/opam
#18 1146.8 create mode 100644 packages/current_ssh/current_ssh.0.8.0/opam
#18 1146.8 create mode 100644 packages/current_web/current_web.0.8.0/opam
#18 1146.8 create mode 100644 packages/curve448/curve448.0.1.0/opam
#18 1146.8 create mode 100644 packages/cvc5/cvc5.1.3.0-3/opam
#18 1146.8 create mode 100644 packages/decompress/decompress.1.6.1/opam
#18 1146.8 create mode 100644 packages/dream-html/dream-html.4.0.0/opam
#18 1146.8 create mode 100644 packages/eio/eio.1.6/opam
#18 1146.8 create mode 100644 packages/eio_linux/eio_linux.1.6/opam
#18 1146.8 create mode 100644 packages/eio_main/eio_main.1.6/opam
#18 1146.8 create mode 100644 packages/eio_posix/eio_posix.1.6/opam
#18 1146.8 create mode 100644 packages/eio_windows/eio_windows.1.6/opam
#18 1146.8 create mode 100644 packages/ffmpeg-av/ffmpeg-av.1.4.0/opam
#18 1146.8 create mode 100644 packages/ffmpeg-avcodec/ffmpeg-avcodec.1.4.0/opam
#18 1146.8 create mode 100644 packages/ffmpeg-avdevice/ffmpeg-avdevice.1.4.0/opam
#18 1146.8 create mode 100644 packages/ffmpeg-avfilter/ffmpeg-avfilter.1.4.0/opam
#18 1146.8 create mode 100644 packages/ffmpeg-avutil/ffmpeg-avutil.1.4.0/opam
#18 1146.8 create mode 100644 packages/ffmpeg-swresample/ffmpeg-swresample.1.4.0/opam
#18 1146.8 create mode 100644 packages/ffmpeg-swscale/ffmpeg-swscale.1.4.0/opam
#18 1146.8 create mode 100644 packages/ffmpeg/ffmpeg.1.4.0/opam
#18 1146.8 create mode 100644 packages/flux/flux.0.0.1~beta8/opam
#18 1146.8 create mode 100644 packages/fluxt/fluxt.0.0.1~beta8/opam
#18 1146.8 create mode 100644 packages/frama-clang/frama-clang.0.0.20/opam
#18 1146.8 create mode 100644 packages/happy-eyeballs-lwt/happy-eyeballs-lwt.2.0.2/opam
#18 1146.8 create mode 100644 packages/happy-eyeballs-miou-unix/happy-eyeballs-miou-unix.2.0.2/opam
#18 1146.8 create mode 100644 packages/happy-eyeballs-mirage/happy-eyeballs-mirage.2.0.2/opam
#18 1146.8 create mode 100644 packages/happy-eyeballs/happy-eyeballs.2.0.2/opam
#18 1146.8 create mode 100644 packages/hegel/hegel.0.24.1/opam
#18 1146.8 create mode 100644 packages/hegel/hegel.0.25.0/opam
#18 1146.8 create mode 100644 packages/hpke/hpke.0.2.0/opam
#18 1146.8 create mode 100644 packages/hpke/hpke.0.3.0/opam
#18 1146.8 create mode 100644 packages/httpcats/httpcats.0.3.3/opam
#18 1146.8 create mode 100644 packages/jack/jack.0.1.0/opam
#18 1146.8 create mode 100644 packages/kdf/kdf.1.1.2/opam
#18 1146.8 create mode 100644 packages/libdash/libdash.0.5.2/opam
#18 1146.8 create mode 100644 packages/libsail/libsail.0.20.3/opam
#18 1146.8 create mode 100644 packages/linol-eio/linol-eio.0.12/opam
#18 1146.8 create mode 100644 packages/linol-lwt/linol-lwt.0.12/opam
#18 1146.8 create mode 100644 packages/linol/linol.0.12/opam
#18 1146.8 delete mode 100644 packages/lwt/lwt.6.0.0~alpha00/opam
#18 1146.8 delete mode 100644 packages/lwt/lwt.6.0.0~beta01/opam
#18 1146.8 create mode 100644 packages/mariadb/mariadb.2.2.0/opam
#18 1146.8 create mode 100644 packages/mcrunch/mcrunch.0.0.4/opam
#18 1146.8 create mode 100644 packages/mcrunch/mcrunch.0.0.5/opam
#18 1146.8 create mode 100644 packages/menhirformat/menhirformat.0.3.0/opam
#18 1146.8 create mode 100644 packages/miniyaml/miniyaml.0.1.0/opam
#18 1146.8 create mode 100644 packages/mkernel/mkernel.0.0.5/opam
#18 1146.8 create mode 100644 packages/mldsa/mldsa.0.1.1/opam
#18 1146.8 create mode 100644 packages/mldsa/mldsa.0.2.0/opam
#18 1146.8 create mode 100644 packages/mlkem/mlkem.0.1.1/opam
#18 1146.8 create mode 100644 packages/mlkem/mlkem.0.2.0/opam
#18 1146.8 create mode 100644 packages/mm/mm.0.8.7/opam
#18 1146.8 create mode 100644 packages/moonpool-lwt/moonpool-lwt.0.12/opam
#18 1146.8 create mode 100644 packages/moonpool/moonpool.0.12/opam
#18 1146.8 create mode 100644 packages/mrmime/mrmime.0.8.0/opam
#18 1146.8 create mode 100644 packages/nel/nel.1.0.1/opam
#18 1146.8 create mode 100644 packages/ocaml-protoc-plugin/ocaml-protoc-plugin.6.3.0/opam
#18 1146.8 create mode 100644 packages/ocsigenserver-compat/ocsigenserver-compat.8.0.0/opam
#18 1146.8 create mode 100644 packages/ocsigenserver/ocsigenserver.8.0.0/opam
#18 1146.8 create mode 100644 packages/ocsipersist-dbm-config/ocsipersist-dbm-config.3.1.2/opam
#18 1146.8 create mode 100644 packages/ocsipersist-dbm/ocsipersist-dbm.3.1.2/opam
#18 1146.8 create mode 100644 packages/ocsipersist-lib/ocsipersist-lib.3.1.2/opam
#18 1146.8 create mode 100644 packages/ocsipersist-pgsql-config/ocsipersist-pgsql-config.3.1.2/opam
#18 1146.8 create mode 100644 packages/ocsipersist-pgsql/ocsipersist-pgsql.3.1.2/opam
#18 1146.8 create mode 100644 packages/ocsipersist-sqlite-config/ocsipersist-sqlite-config.3.1.2/opam
#18 1146.8 create mode 100644 packages/ocsipersist-sqlite/ocsipersist-sqlite.3.1.2/opam
#18 1146.8 create mode 100644 packages/ocsipersist/ocsipersist.3.1.2/opam
#18 1146.8 create mode 100644 packages/ozstd/ozstd.0.2/opam
#18 1146.8 create mode 100644 packages/ppx_deriving_ezjsonm/ppx_deriving_ezjsonm.0.5.0/opam
#18 1146.8 create mode 100644 packages/ppx_deriving_yaml/ppx_deriving_yaml.0.5.0/opam
#18 1146.8 create mode 100644 packages/ppx_deriving_yamlx/ppx_deriving_yamlx.0.5.0/opam
#18 1146.8 create mode 100644 packages/ppx_hegel_compat/ppx_hegel_compat.0.24.1/opam
#18 1146.8 create mode 100644 packages/ppx_hegel_compat/ppx_hegel_compat.0.25.0/opam
#18 1146.8 create mode 100644 packages/ppx_hegel_generator/ppx_hegel_generator.0.24.1/opam
#18 1146.8 create mode 100644 packages/ppx_hegel_generator/ppx_hegel_generator.0.25.0/opam
#18 1146.8 create mode 100644 packages/ppx_hegel_test/ppx_hegel_test.0.24.1/opam
#18 1146.8 create mode 100644 packages/ppx_hegel_test/ppx_hegel_test.0.25.0/opam
#18 1146.8 create mode 100644 packages/ppx_optcomp_nobase/ppx_optcomp_nobase.0.17.1/opam
#18 1146.8 create mode 100644 packages/ppx_windtrap/ppx_windtrap.0.2.0/opam
#18 1146.8 create mode 100644 packages/pure-html/pure-html.4.0.0/opam
#18 1146.8 create mode 100644 packages/rfc1951/rfc1951.1.6.1/opam
#18 1146.8 create mode 100644 packages/rocq-core/rocq-core.9.3.0/opam
#18 1146.8 create mode 100644 packages/rocq-devtools/rocq-devtools.9.3.0/opam
#18 1146.8 create mode 100644 packages/rocq-native/rocq-native.3/opam
#18 1146.8 create mode 100644 packages/rocq-runtime/rocq-runtime.9.3.0/opam
#18 1146.8 create mode 100644 packages/rocq-stdlib/rocq-stdlib.9.2.0/opam
#18 1146.8 create mode 100644 packages/rocqide/rocqide.9.3.0/opam
#18 1146.8 create mode 100644 packages/sail/sail.0.20.3/opam
#18 1146.8 create mode 100644 packages/sail_c_backend/sail_c_backend.0.20.3/opam
#18 1146.8 create mode 100644 packages/sail_coq_backend/sail_coq_backend.0.20.3/opam
#18 1146.8 create mode 100644 packages/sail_doc_backend/sail_doc_backend.0.20.3/opam
#18 1146.8 create mode 100644 packages/sail_latex_backend/sail_latex_backend.0.20.3/opam
#18 1146.8 create mode 100644 packages/sail_lean_backend/sail_lean_backend.0.20.3/opam
#18 1146.8 create mode 100644 packages/sail_lem_backend/sail_lem_backend.0.20.3/opam
#18 1146.8 create mode 100644 packages/sail_maker/sail_maker.0.20.3/opam
#18 1146.8 create mode 100644 packages/sail_ocaml_backend/sail_ocaml_backend.0.20.3/opam
#18 1146.8 create mode 100644 packages/sail_output/sail_output.0.20.3/opam
#18 1146.8 create mode 100644 packages/sail_smt_backend/sail_smt_backend.0.20.3/opam
#18 1146.8 create mode 100644 packages/sail_sv_backend/sail_sv_backend.0.20.3/opam
#18 1146.8 create mode 100644 packages/segmap/segmap.20260927/opam
#18 1146.8 create mode 100644 packages/slhdsa/slhdsa.0.1.1/opam
#18 1146.8 create mode 100644 packages/slhdsa/slhdsa.0.2.0/opam
#18 1146.8 create mode 100644 packages/smtml/smtml.0.31.0/opam
#18 1146.8 create mode 100644 packages/tally-mkernel/tally-mkernel.0.0.2/opam
#18 1146.8 create mode 100644 packages/tally-mnet/tally-mnet.0.0.2/opam
#18 1146.8 create mode 100644 packages/tally/tally.0.0.2/opam
#18 1146.8 create mode 100644 packages/tw/tw.1.1.0/opam
#18 1146.8 create mode 100644 packages/unstrctrd/unstrctrd.0.5/opam
#18 1146.8 create mode 100644 packages/utcp/utcp.0.0.9/opam
#18 1146.8 create mode 100644 packages/verdict/verdict.0.1.4/opam
#18 1146.8 create mode 100644 packages/wax-lib/wax-lib.0.2.0/opam
#18 1146.8 create mode 100644 packages/wax/wax.0.2.0/opam
#18 1146.8 create mode 100644 packages/windtrap/windtrap.0.2.0/opam
#18 1146.8 create mode 100644 packages/z3/z3.5.1.0/opam
#18 1147.3
#18 1147.3 <><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
#18 1148.5 [default] synchronised from git+file:///home/opam/opam-repository
#18 1148.6 default (at git+file:///home/opam/opam-repository):
#18 1148.6 [WARNING] opam >= 2.5.2 includes important security fixes; please consider upgrading (https://opam.ocaml.org/doc/Install.html)
#18 1148.6
#18 1156.8
#18 1156.8 <><> Synchronising development packages <><><><><><><><><><><><><><><><><><><><>
#18 1157.2 [hilite.0.6.0] synchronised (no changes)
#18 1157.2 Now run 'opam upgrade' to apply any package updates.
#18 DONE 1157.6s
#20 [build 12/12] RUN touch package.state && ./init-cache package.state
#20 0.253 PID=10
#20 0.254 Setting up watches.
#20 0.254 Watches established.
#20 20.28 Packed 17952385 bytes to src/ocamlorg_data/data.bin
#20 30.50 main.exe: [INFO] State cache file: package.state
#20 30.50 main.exe: [INFO] Package state starting from scratch
#20 30.50 02.10.26 10:01:20.789 Running on 0.0.0.0:8080 (http://localhost:8080)
#20 30.50 02.10.26 10:01:20.789 Type Ctrl+C to stop
#20 31.37 02.10.26 10:01:21.661 INFO Update server state
#20 31.37 02.10.26 10:01:21.661 INFO Opam repository is currently at ac27950e5eac6c981ad809dff370c937820b7893
#20 31.37 02.10.26 10:01:21.661 INFO Updating opam package list
#20 31.56 02.10.26 10:01:21.848 INFO List packages: 0.19s
#20 36.52 02.10.26 10:01:26.811 INFO Read opam files: 4.96s
#20 36.52 02.10.26 10:01:26.811 INFO Read packages: 5.15s
#20 40.59 02.10.26 10:01:30.875 INFO Dependencies: 4.04s
#20 46.72 02.10.26 10:01:37.005 INFO Reverse dependencies: 6.13s
#20 93.56 02.10.26 10:02:23.847 INFO Publication dates: 46.84s
#20 107.9 02.10.26 10:02:38.213 INFO Generate package info: 14.37s
#20 107.9 02.10.26 10:02:38.214 INFO Compute package info: 71.40s
#20 108.8 02.10.26 10:02:39.109 INFO Compute statistics: 0.90s
#20 108.8 02.10.26 10:02:39.110 INFO Loaded 4657 packages
#20 108.8 02.10.26 10:02:39.110 INFO Package state saved
#20 109.5 package.state CLOSE_WRITE,CLOSE
#20 DONE 109.9s
#21 [stage-1 3/9] COPY --from=build /home/opam/package.state /var/package.state
#21 DONE 0.1s
#22 [stage-1 4/9] COPY --from=build /home/opam/opam-repository /var/opam-repository
#22 DONE 22.2s
#23 [stage-1 5/9] COPY --from=build /home/opam/_build/default/src/ocamlorg_web/bin/main.exe /bin/server
#23 DONE 0.4s
#24 [stage-1 6/9] COPY playground/asset playground/asset
#24 DONE 0.1s
#25 [stage-1 7/9] RUN git clone https://github.com/ocaml-web/html-compiler-manuals /manual
#25 2.067 Cloning into '/manual'...
#25 30.06 Updating files: 21% (3334/15655)
Updating files: 22% (3445/15655)
Updating files: 23% (3601/15655)
Updating files: 24% (3758/15655)
Updating files: 25% (3914/15655)
Updating files: 26% (4071/15655)
Updating files: 27% (4227/15655)
Updating files: 28% (4384/15655)
Updating files: 29% (4540/15655)
Updating files: 30% (4697/15655)
Updating files: 31% (4854/15655)
Updating files: 32% (5010/15655)
Updating files: 33% (5167/15655)
Updating files: 34% (5323/15655)
Updating files: 35% (5480/15655)
Updating files: 36% (5636/15655)
Updating files: 37% (5793/15655)
Updating files: 38% (5949/15655)
Updating files: 39% (6106/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: 51% (7996/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: 76% (11905/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: 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: 94% (14796/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.
#25 DONE 34.4s
#26 [stage-1 8/9] ADD data/v2 /v2
#26 DONE 0.3s
#27 [stage-1 9/9] RUN git config --global --add safe.directory /var/opam-repository
#27 DONE 0.8s
#28 exporting to image
#28 exporting layers
#28 exporting layers 23.9s done
#28 writing image sha256:9673fbab4df16531837ad5dcbf04c22b86019b1ef2704397aaa43d8c364640dc done
#28 DONE 23.9s
Job succeeded
2026-10-02 10:04.41: Job succeeded