2026-09-02 12:22.20: New job: docker build {
                                             "commit": "ba61bb407ac2d535f8fe92ebee7279d18ffe4003",
                                             "dockerfile": {
                                               "file": "./Dockerfile"
                                             },
                                             "docker_context": null,
                                             "squash": false,
                                             "buildx": false,
                                             "build_args": [],
                                             "path": null
                                           }
2026-09-02 12:22.20: Checking out commit ba61bb40. To reproduce:
                       git clone --recursive "https://github.com/rocq-prover/rocq-prover.org.git" -b "mention-consortium" && cd "rocq-prover.org" && git reset --hard ba61bb40
2026-09-02 12:22.20: Exec: "cp" "-a" "--" "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0/.git" 
                           "/tmp/git-checkout2043ccfc"
2026-09-02 12:22.29: Exec: "git" "-C" "/tmp/git-checkout2043ccfc" "submodule" 
                           "deinit" "--force" "--all"
2026-09-02 12:22.29: Exec: "git" "-C" "/tmp/git-checkout2043ccfc" "reset" 
                           "--hard" "-q" "ba61bb407ac2d535f8fe92ebee7279d18ffe4003"
2026-09-02 12:22.29: Exec: "git" "-c" "protocol.file.allow=always" "-C" 
                           "/tmp/git-checkout2043ccfc" "submodule" "update" 
                           "--recursive" "--init" "--no-fetch"
2026-09-02 12:22.29: Exec: "docker" "build" "--pull" "-f" "/tmp/git-checkout2043ccfc/./Dockerfile" 
                           "--iidfile" "/tmp/git-checkout2043ccfc/docker-iid" 
                           "--" "/tmp/git-checkout2043ccfc"
Sending build context to Docker daemon  370.7MB

Step 1/44 : FROM ocaml/opam:alpine-3.20-ocaml-5.2 AS build
alpine-3.20-ocaml-5.2: Pulling from ocaml/opam
Digest: sha256:a1150220b350c6b8f92ad642705501daa9f5330524d398bab3aab7decacefc7d
Status: Image is up to date for ocaml/opam:alpine-3.20-ocaml-5.2
 ---> 824ac13b8a7f
Step 2/44 : RUN sudo apk update && sudo apk add --update libev-dev openssl-dev gmp-dev oniguruma-dev inotify-tools curl-dev autoconf
 ---> Using cache
 ---> 380f11a5dfd9
Step 3/44 : RUN cd opam-repository && git pull origin dbc9ec7b83bac3673185542221a571372b6abb35 && opam update
 ---> Using cache
 ---> 24ff6990ce1d
Step 4/44 : WORKDIR /home/opam
 ---> Using cache
 ---> 98674a8c3ad8
Step 5/44 : ADD rocqproverorg.opam rocqproverorg.opam
 ---> Using cache
 ---> ad483389cfd7
Step 6/44 : RUN opam install . --deps-only
 ---> Using cache
 ---> c0720ec8dd5b
Step 7/44 : ARG GIT_COMMIT
 ---> Using cache
 ---> fbf47ea371e6
Step 8/44 : RUN echo "Based on commit: $GIT_COMMIT"
 ---> Using cache
 ---> 85a533d0d6f7
Step 9/44 : ENV GIT_COMMIT=${GIT_COMMIT}
 ---> Using cache
 ---> 2b2d226544c2
Step 10/44 : LABEL rocqproverorg=${GIT_COMMIT}
 ---> Using cache
 ---> 961f25b4ae1c
Step 11/44 : ARG GIT_BRANCH
 ---> Using cache
 ---> 6f025c272294
Step 12/44 : RUN echo "Based on branch: $GIT_BRANCH"
 ---> Using cache
 ---> 351d1aca627e
Step 13/44 : ENV GIT_BRANCH=${GIT_BRANCH}
 ---> Using cache
 ---> 2c137d6d32d4
Step 14/44 : LABEL rocqproverorg_branch=${GIT_BRANCH}
 ---> Using cache
 ---> f47e46fb65f8
Step 15/44 : COPY --chown=opam:opam . .
 ---> 4a422b335529
Step 16/44 : RUN opam exec -- dune build @install --profile=release
 ---> Running in 5cc319593fd5
Browserslist: caniuse-lite is outdated. Please run:
  npx update-browserslist-db@latest
  Why you should do it regularly: https://github.com/browserslist/update-db#readme

Rebuilding...

Done in 4083ms.
Removing intermediate container 5cc319593fd5
 ---> 441c517e33d8
Step 17/44 : RUN git clone https://github.com/rocq-prover/opam.git rocq-opam-repository
 ---> Running in e805476a1bd3
Cloning into 'rocq-opam-repository'...
Removing intermediate container e805476a1bd3
 ---> 73e1c4ccab49
Step 18/44 : RUN cd rocq-opam-repository && git checkout master && git pull origin master
 ---> Running in 3f2025bc8999
Already on 'master'
Your branch is up to date with 'origin/master'.
From https://github.com/rocq-prover/opam
 * branch                master     -> FETCH_HEAD
Already up to date.
Removing intermediate container 3f2025bc8999
 ---> 22cc8658de96
Step 19/44 : ENV ROCQPROVERORG_REPO_PATH=rocq-opam-repository
 ---> Running in ca5e19c49d2c
Removing intermediate container ca5e19c49d2c
 ---> 5cbcbac936d7
Step 20/44 : ENV ROCQPROVERORG_PKG_STATE_PATH=package.state
 ---> Running in 425b5f50cb6c
Removing intermediate container 425b5f50cb6c
 ---> 21ccad2b67e2
Step 21/44 : RUN touch package.state && ./init-cache package.state
 ---> Running in 599c3a1eb563
PID=10
Setting up watches.
Watches established.
main.exe: [INFO] State cache file: package.state
main.exe: [INFO] Package state starting from scratch
02.09.26 12:25:24.004                       Running on 0.0.0.0:8080 (http://localhost:8080)
02.09.26 12:25:24.005                       Type Ctrl+C to stop
02.09.26 12:25:24.566                  INFO Update server state
02.09.26 12:25:24.566                  INFO Opam repository is currently at a276487c0f49392cf38fd789d8aecbf24d29dfc7
02.09.26 12:25:24.566                  INFO Updating opam package list
02.09.26 12:25:24.566                  INFO Calculating packages.. .
02.09.26 12:25:27.651                  INFO Computing additional informations...
02.09.26 12:25:27.657                  INFO Dependencies...
02.09.26 12:25:27.767                  INFO Reverse dependencies...
02.09.26 12:25:27.910                  INFO Publication dates...
02.09.26 12:25:29.344                  INFO Generate package info
02.09.26 12:25:29.584                  INFO Computing packages statistics...
02.09.26 12:25:29.613                  INFO Loaded 587 packages
02.09.26 12:25:29.614                  INFO Package state saved
package.state CLOSE_WRITE,CLOSE 
Removing intermediate container 599c3a1eb563
 ---> e95dc775c1ad
Step 22/44 : FROM alpine:3.20 AS run
3.20: Pulling from library/alpine
Digest: sha256:d9e853e87e55526f6b2917df91a2115c36dd7c696a35be12163d44e6e2a4b6bc
Status: Image is up to date for alpine:3.20
 ---> bf8527eb54c3
Step 23/44 : ARG GIT_COMMIT
 ---> Using cache
 ---> 9c679d766a3b
Step 24/44 : RUN echo "Based on commit: $GIT_COMMIT"
 ---> Running in a4c4a84e74ea
Based on commit: 
Removing intermediate container a4c4a84e74ea
 ---> e14b4ad038b9
Step 25/44 : ENV GIT_COMMIT=${GIT_COMMIT}
 ---> Running in e1d205278b29
Removing intermediate container e1d205278b29
 ---> ae69ef688a96
Step 26/44 : LABEL rocqproverorg=${GIT_COMMIT}
 ---> Running in 654fe31dd5dc
Removing intermediate container 654fe31dd5dc
 ---> 94a4c6332932
Step 27/44 : ARG GIT_BRANCH
 ---> Running in 461e5ef92bf0
Removing intermediate container 461e5ef92bf0
 ---> 287b6ca9581e
Step 28/44 : RUN echo "Based on branch: $GIT_BRANCH"
 ---> Running in 0c8eed3eaed2
Based on branch: 
Removing intermediate container 0c8eed3eaed2
 ---> 7c2cfce48a4b
Step 29/44 : ENV GIT_BRANCH=${GIT_BRANCH}
 ---> Running in 992111c10c64
Removing intermediate container 992111c10c64
 ---> c71d8ef385a9
Step 30/44 : LABEL rocqproverorg_branch=${GIT_BRANCH}
 ---> Running in 58cd5d9f8777
Removing intermediate container 58cd5d9f8777
 ---> da73a1c738aa
Step 31/44 : RUN apk update && apk add --update libev gmp git
 ---> Running in 06b5f3c1827e
fetch https://dl-cdn.alpinelinux.org/alpine/v3.20/main/x86_64/APKINDEX.tar.gz
fetch https://dl-cdn.alpinelinux.org/alpine/v3.20/community/x86_64/APKINDEX.tar.gz
v3.20.10-114-ga410d2306e5 [https://dl-cdn.alpinelinux.org/alpine/v3.20/main]
v3.20.10-106-gcfb1a4769c3 [https://dl-cdn.alpinelinux.org/alpine/v3.20/community]
OK: 24171 distinct packages available
(1/15) Installing ca-certificates (20260413-r0)
(2/15) Installing brotli-libs (1.1.0-r2)
(3/15) Installing c-ares (1.33.1-r0)
(4/15) Installing libunistring (1.2-r0)
(5/15) Installing libidn2 (2.3.7-r0)
(6/15) Installing nghttp2-libs (1.62.1-r0)
(7/15) Installing libpsl (0.21.5-r1)
(8/15) Installing zstd-libs (1.5.6-r0)
(9/15) Installing libcurl (8.14.1-r2)
(10/15) Installing libexpat (2.8.1-r0)
(11/15) Installing pcre2 (10.43-r0)
(12/15) Installing git (2.45.4-r0)
(13/15) Installing git-init-template (2.45.4-r0)
(14/15) Installing gmp (6.3.0-r1)
(15/15) Installing libev (4.33-r1)
Executing busybox-1.36.1-r31.trigger
Executing ca-certificates-20260413-r0.trigger
OK: 21 MiB in 29 packages
Removing intermediate container 06b5f3c1827e
 ---> 9e39963cabb0
Step 32/44 : RUN chmod -R 755 /var
 ---> Running in 135a5bc598a5
Removing intermediate container 135a5bc598a5
 ---> 3ce9ca94d898
Step 33/44 : COPY --from=build /home/opam/package.state /var/package.state
 ---> 5220ed44d8ae
Step 34/44 : COPY --from=build /home/opam/rocq-opam-repository /var/opam-repository
 ---> e2b6c543eeab
Step 35/44 : COPY --from=build /home/opam/_build/default/src/rocqproverorg_web/bin/main.exe /bin/server
 ---> ef634168c1d3
Step 36/44 : COPY playground/asset playground/asset
 ---> 0ed70004f85c
Step 37/44 : RUN git config --global --add safe.directory /var/opam-repository
 ---> Running in 022975dafe90
Removing intermediate container 022975dafe90
 ---> 203db2e57162
Step 38/44 : ENV ROCQPROVERORG_REPO_PATH=/var/opam-repository/
 ---> Running in 0b8b2d77aba6
Removing intermediate container 0b8b2d77aba6
 ---> f0297f4daa10
Step 39/44 : ENV DOC_PATH=/doc
 ---> Running in ded4129c22c0
Removing intermediate container ded4129c22c0
 ---> 51c44d019f3d
Step 40/44 : ENV ROCQPROVERORG_PKG_STATE_PATH=/var/package.state
 ---> Running in bc8048061090
Removing intermediate container bc8048061090
 ---> 240c5c85f796
Step 41/44 : ENV DREAM_VERBOSITY=info
 ---> Running in 32b599a4edcb
Removing intermediate container 32b599a4edcb
 ---> 1e44cb75944a
Step 42/44 : ENV ROCQPROVERORG_HTTP_PORT=8080
 ---> Running in 931893cc7308
Removing intermediate container 931893cc7308
 ---> 7be0f3ef4519
Step 43/44 : EXPOSE 8080
 ---> Running in bf2d19df4a5b
Removing intermediate container bf2d19df4a5b
 ---> 1f92a945a7e0
Step 44/44 : ENTRYPOINT [ "/bin/server" ]
 ---> Running in 857c6c4c85af
Removing intermediate container 857c6c4c85af
 ---> ecd14fd6ea40
Successfully built ecd14fd6ea40
2026-09-02 12:25.52: Job succeeded