2026-04-07 15:22.55: New job: docker build {
                                             "commit": "3a7f46c9e1de110a3425aaea577f1056ea7f96a4",
                                             "dockerfile": {
                                               "file": "./Dockerfile"
                                             },
                                             "docker_context": null,
                                             "squash": false,
                                             "buildx": false,
                                             "build_args": [],
                                             "path": null
                                           }
2026-04-07 15:22.55: Checking out commit 3a7f46c9. To reproduce:
                       git clone --recursive "https://github.com/rocq-prover/rocq-prover.org.git" -b "governance-fixed" && cd "rocq-prover.org" && git reset --hard 3a7f46c9
2026-04-07 15:22.55: Exec: "cp" "-a" "--" "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0/.git" 
                           "/tmp/git-checkout73693de"
2026-04-07 15:23.00: Exec: "git" "-C" "/tmp/git-checkout73693de" "submodule" 
                           "deinit" "--force" "--all"
2026-04-07 15:23.00: Exec: "git" "-C" "/tmp/git-checkout73693de" "reset" 
                           "--hard" "-q" "3a7f46c9e1de110a3425aaea577f1056ea7f96a4"
2026-04-07 15:23.01: Exec: "git" "-c" "protocol.file.allow=always" "-C" 
                           "/tmp/git-checkout73693de" "submodule" "update" 
                           "--recursive" "--init" "--no-fetch"
2026-04-07 15:23.01: Exec: "docker" "build" "--pull" "-f" "/tmp/git-checkout73693de/./Dockerfile" 
                           "--iidfile" "/tmp/git-checkout73693de/docker-iid" 
                           "--" "/tmp/git-checkout73693de"
Sending build context to Docker daemon  370.1MB

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 . .
 ---> 93a587eba69f
Step 16/44 : RUN opam exec -- dune build @install --profile=release
 ---> Running in f936875839d4
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 3503ms.
Removing intermediate container f936875839d4
 ---> c2302b972bd2
Step 17/44 : RUN git clone https://github.com/rocq-prover/opam.git rocq-opam-repository
 ---> Running in 680fe0f94a9f
Cloning into 'rocq-opam-repository'...
Updating files:  73% (3073/4197)
Updating files:  74% (3106/4197)
Updating files:  75% (3148/4197)
Updating files:  76% (3190/4197)
Updating files:  77% (3232/4197)
Updating files:  78% (3274/4197)
Updating files:  79% (3316/4197)
Updating files:  80% (3358/4197)
Updating files:  81% (3400/4197)
Updating files:  82% (3442/4197)
Updating files:  83% (3484/4197)
Updating files:  84% (3526/4197)
Updating files:  85% (3568/4197)
Updating files:  86% (3610/4197)
Updating files:  87% (3652/4197)
Updating files:  88% (3694/4197)
Updating files:  89% (3736/4197)
Updating files:  90% (3778/4197)
Updating files:  91% (3820/4197)
Updating files:  92% (3862/4197)
Updating files:  93% (3904/4197)
Updating files:  94% (3946/4197)
Updating files:  95% (3988/4197)
Updating files:  96% (4030/4197)
Updating files:  97% (4072/4197)
Updating files:  98% (4114/4197)
Updating files:  99% (4156/4197)
Updating files: 100% (4197/4197)
Updating files: 100% (4197/4197), done.
Removing intermediate container 680fe0f94a9f
 ---> 7c72ec3d8178
Step 18/44 : RUN cd rocq-opam-repository && git checkout master && git pull origin master
 ---> Running in 549c528e67fd
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 549c528e67fd
 ---> a7e05b071551
Step 19/44 : ENV ROCQPROVERORG_REPO_PATH=rocq-opam-repository
 ---> Running in 6358a50f34f5
Removing intermediate container 6358a50f34f5
 ---> f5c09f60f658
Step 20/44 : ENV ROCQPROVERORG_PKG_STATE_PATH=package.state
 ---> Running in 3e8c7aee1d14
Removing intermediate container 3e8c7aee1d14
 ---> 360f0bb5e5c1
Step 21/44 : RUN touch package.state && ./init-cache package.state
 ---> Running in 5e592579b666
PID=10
Setting up watches.
Watches established.
main.exe: [INFO] State cache file: package.state
main.exe: [INFO] Package state starting from scratch
07.04.26 15:25:16.910                       Running on 0.0.0.0:8080 (http://localhost:8080)
07.04.26 15:25:16.910                       Type Ctrl+C to stop
07.04.26 15:25:17.425                  INFO Update server state
07.04.26 15:25:17.425                  INFO Opam repository is currently at e90b6bfa4740bb6269de96811716e2b2ce0019c6
07.04.26 15:25:17.425                  INFO Updating opam package list
07.04.26 15:25:17.426                  INFO Calculating packages.. .
07.04.26 15:25:18.531                  INFO Computing additional informations...
07.04.26 15:25:18.537                  INFO Dependencies...
07.04.26 15:25:18.643                  INFO Reverse dependencies...
07.04.26 15:25:18.788                  INFO Publication dates...
07.04.26 15:25:19.892                  INFO Generate package info
07.04.26 15:25:20.128                  INFO Computing packages statistics...
07.04.26 15:25:20.175                  INFO Loaded 565 packages
07.04.26 15:25:20.175                  INFO Package state saved
package.state CLOSE_WRITE,CLOSE 
Removing intermediate container 5e592579b666
 ---> d23fe25f1748
Step 22/44 : FROM alpine:3.20 AS run
3.20: Pulling from library/alpine
Digest: sha256:a4f4213abb84c497377b8544c81b3564f313746700372ec4fe84653e4fb03805
Status: Image is up to date for alpine:3.20
 ---> cc9071bd1610
Step 23/44 : ARG GIT_COMMIT
 ---> Using cache
 ---> 0f5e1e19991f
Step 24/44 : RUN echo "Based on commit: $GIT_COMMIT"
 ---> Using cache
 ---> c717b18e2992
Step 25/44 : ENV GIT_COMMIT=${GIT_COMMIT}
 ---> Using cache
 ---> 8a515149ab8a
Step 26/44 : LABEL rocqproverorg=${GIT_COMMIT}
 ---> Using cache
 ---> 5a78cb065acc
Step 27/44 : ARG GIT_BRANCH
 ---> Using cache
 ---> 75e502c7736d
Step 28/44 : RUN echo "Based on branch: $GIT_BRANCH"
 ---> Using cache
 ---> 23efa49b9dc2
Step 29/44 : ENV GIT_BRANCH=${GIT_BRANCH}
 ---> Using cache
 ---> e4b7f4560e9b
Step 30/44 : LABEL rocqproverorg_branch=${GIT_BRANCH}
 ---> Using cache
 ---> 5da152de92fc
Step 31/44 : RUN apk update && apk add --update libev gmp git
 ---> Using cache
 ---> 8775e68471fd
Step 32/44 : RUN chmod -R 755 /var
 ---> Using cache
 ---> a55564da9264
Step 33/44 : COPY --from=build /home/opam/package.state /var/package.state
 ---> f603490543ef
Step 34/44 : COPY --from=build /home/opam/rocq-opam-repository /var/opam-repository
 ---> f900432b72a5
Step 35/44 : COPY --from=build /home/opam/_build/default/src/rocqproverorg_web/bin/main.exe /bin/server
 ---> 26d1b4b80293
Step 36/44 : COPY playground/asset playground/asset
 ---> aacf8e9768e0
Step 37/44 : RUN git config --global --add safe.directory /var/opam-repository
 ---> Running in e6b3cc92b294
Removing intermediate container e6b3cc92b294
 ---> 5d9e623e60b7
Step 38/44 : ENV ROCQPROVERORG_REPO_PATH=/var/opam-repository/
 ---> Running in 6ddd1f46932b
Removing intermediate container 6ddd1f46932b
 ---> 13180433da56
Step 39/44 : ENV DOC_PATH=/doc
 ---> Running in 4aa7afb3b471
Removing intermediate container 4aa7afb3b471
 ---> c500dfe88999
Step 40/44 : ENV ROCQPROVERORG_PKG_STATE_PATH=/var/package.state
 ---> Running in 80d13bd91c26
Removing intermediate container 80d13bd91c26
 ---> cd15e662ff00
Step 41/44 : ENV DREAM_VERBOSITY=info
 ---> Running in e7b90b38612e
Removing intermediate container e7b90b38612e
 ---> d4ae2ec8b6a1
Step 42/44 : ENV ROCQPROVERORG_HTTP_PORT=8080
 ---> Running in 38c9a2e1ceda
Removing intermediate container 38c9a2e1ceda
 ---> bc2df577db3b
Step 43/44 : EXPOSE 8080
 ---> Running in 098ab0f05e1c
Removing intermediate container 098ab0f05e1c
 ---> fb663a7f463a
Step 44/44 : ENTRYPOINT [ "/bin/server" ]
 ---> Running in 2de0c65ac8ac
Removing intermediate container 2de0c65ac8ac
 ---> 218300402bfd
Successfully built 218300402bfd
2026-04-07 15:25.38: Job succeeded