deploy-rocq-prover

Build:
2026-10-31 14:27.14: New job: "docker-compose" "-f" "compose.yml" "-p"
                     "rocqproverorg_www_main" "up" "-d" "--build"
                     "--force-recreate"
cwd: /var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0
2026-10-31 14:27.14: Working directory: "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0"
2026-10-31 14:27.14: Exec: "docker-compose" "-f" "compose.yml" "-p" "rocqproverorg_www_main" 
                           "pull"
Pulling web ... 
Pulling web ... done
2026-10-31 14:27.14: Working directory: "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0"
2026-10-31 14:27.14: Exec: "docker-compose" "-f" "compose.yml" "-p" "rocqproverorg_www_main" 
                           "up" "-d" "--build" "--force-recreate"
Building web
Sending build context to Docker daemon  371.2MB

Step 1/41 : FROM ocaml/opam:alpine-3.24-ocaml-5.2 AS build
 ---> 16caaf4c73fb
Step 2/41 : 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
 ---> Using cache
 ---> fe5410a99932
Step 3/41 : RUN sudo mv /usr/bin/opam-2.2 /usr/bin/opam && opam update
 ---> Using cache
 ---> d6f132169732
Step 4/41 : RUN opam option --global 'archive-mirrors+="https://opam.ocaml.org/cache"'
 ---> Using cache
 ---> e1df0b003d9f
Step 5/41 : RUN cd ~/opam-repository && git reset --hard 8cdfa3296d9bc7d93273f46eb2438757e4fd5cf0 && opam update
 ---> Using cache
 ---> a774e9c3472f
Step 6/41 : WORKDIR /home/opam
 ---> Using cache
 ---> ccd2f4c697c6
Step 7/41 : COPY --chown=opam rocqproverorg.opam .
 ---> Using cache
 ---> 3d248088c6fe
Step 8/41 : RUN OPAMSOLVERTIMEOUT=300 opam install . --deps-only
 ---> Using cache
 ---> 9d752773b813
Step 9/41 : ARG GIT_COMMIT
 ---> Using cache
 ---> e6ce792ed7d7
Step 10/41 : RUN echo "Based on commit: $GIT_COMMIT"
 ---> Running in 464a610830c2
Based on commit: dc102d304f370d6ec9d58e311c1465fbdf67c2df
Removing intermediate container 464a610830c2
 ---> fe901dc5b6af
Step 11/41 : ENV GIT_COMMIT=${GIT_COMMIT}
 ---> Running in 42412fc1f255
Removing intermediate container 42412fc1f255
 ---> 3ddc6d595110
Step 12/41 : LABEL rocqproverorg=${GIT_COMMIT}
 ---> Running in 567de3803362
Removing intermediate container 567de3803362
 ---> b6857d526103
Step 13/41 : ARG GIT_BRANCH
 ---> Running in 230c2d357ff6
Removing intermediate container 230c2d357ff6
 ---> 549ee6dc421f
Step 14/41 : RUN echo "Based on branch: $GIT_BRANCH"
 ---> Running in 751f2a30944e
Based on branch: main
Removing intermediate container 751f2a30944e
 ---> f4a34176679e
Step 15/41 : ENV GIT_BRANCH=${GIT_BRANCH}
 ---> Running in 28f304112475
Removing intermediate container 28f304112475
 ---> db7cd831f65f
Step 16/41 : LABEL rocqproverorg_branch=${GIT_BRANCH}
 ---> Running in 83e2cc72faef
Removing intermediate container 83e2cc72faef
 ---> 72b1aca884e1
Step 17/41 : COPY --chown=opam:opam . .
 ---> 72bfa3b2bb92
Step 18/41 : RUN opam exec -- dune build @install --profile=release
 ---> Running in 8196fd637e0a
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 3255ms.
Packed 847322 bytes to src/rocqproverorg_data/data.bin
Removing intermediate container 8196fd637e0a
 ---> 812bc66ec924
Step 19/41 : RUN git clone https://github.com/rocq-prover/opam.git rocq-opam-repository
 ---> Running in d89f750cb8fc
Cloning into 'rocq-opam-repository'...
Removing intermediate container d89f750cb8fc
 ---> 0f557286ce28
Step 20/41 : RUN cd rocq-opam-repository && git checkout master && git pull origin master
 ---> Running in df3656be19e5
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 df3656be19e5
 ---> 43265dcc7320
Step 21/41 : ENV ROCQPROVERORG_REPO_PATH=rocq-opam-repository     ROCQPROVERORG_PKG_STATE_PATH=package.state
 ---> Running in b59b333d35c0
Removing intermediate container b59b333d35c0
 ---> 59f3429c334a
Step 22/41 : RUN touch package.state && ./init-cache package.state
 ---> Running in 6577d42addd9
PID=10
Setting up watches.
Watches established.
Packed 847322 bytes to src/rocqproverorg_data/data.bin
main.exe: [INFO] State cache file: package.state
main.exe: [INFO] Package state starting from scratch
31.10.26 14:28:45.209                       Running on 0.0.0.0:8080 (http://localhost:8080)
31.10.26 14:28:45.209                       Type Ctrl+C to stop
31.10.26 14:28:45.674                  INFO Update server state
31.10.26 14:28:45.674                  INFO Opam repository is currently at 513d503c69b3464f2c38853bcca455c7d9a50f44
31.10.26 14:28:45.674                  INFO Updating opam package list
31.10.26 14:28:45.674                  INFO Calculating packages.. .
31.10.26 14:28:46.628                  INFO Computing additional informations...
31.10.26 14:28:46.633                  INFO Dependencies...
31.10.26 14:28:46.732                  INFO Reverse dependencies...
31.10.26 14:28:46.843                  INFO Publication dates...
31.10.26 14:28:47.980                  INFO Generate package info
31.10.26 14:28:48.189                  INFO Computing packages statistics...
31.10.26 14:28:48.212                  INFO Loaded 605 packages
31.10.26 14:28:48.212                  INFO Package state saved
package.state CLOSE_WRITE,CLOSE 
Removing intermediate container 6577d42addd9
 ---> 51a1586c623a
Step 23/41 : FROM alpine:3.24 AS run
 ---> b92841763c5c
Step 24/41 : ARG GIT_COMMIT
 ---> Using cache
 ---> 9d153d75c1a5
Step 25/41 : RUN echo "Based on commit: $GIT_COMMIT"
 ---> Running in 7d64040f4483
Based on commit: dc102d304f370d6ec9d58e311c1465fbdf67c2df
Removing intermediate container 7d64040f4483
 ---> d96312867b9f
Step 26/41 : ENV GIT_COMMIT=${GIT_COMMIT}
 ---> Running in c579ac65b998
Removing intermediate container c579ac65b998
 ---> deaa3ce57820
Step 27/41 : LABEL rocqproverorg=${GIT_COMMIT}
 ---> Running in 3ee0bac7d4b4
Removing intermediate container 3ee0bac7d4b4
 ---> 6026126368f5
Step 28/41 : ARG GIT_BRANCH
 ---> Running in 3a2998bfcb7c
Removing intermediate container 3a2998bfcb7c
 ---> 450abe672daf
Step 29/41 : RUN echo "Based on branch: $GIT_BRANCH"
 ---> Running in e141a6e33d02
Based on branch: main
Removing intermediate container e141a6e33d02
 ---> 0c6cb62661d8
Step 30/41 : ENV GIT_BRANCH=${GIT_BRANCH}
 ---> Running in 1a150ebb2da3
Removing intermediate container 1a150ebb2da3
 ---> cb36a456859e
Step 31/41 : LABEL rocqproverorg_branch=${GIT_BRANCH}
 ---> Running in 2e8a3b13832e
Removing intermediate container 2e8a3b13832e
 ---> 9882bfd747e9
Step 32/41 : RUN apk -U upgrade --no-cache && apk add --no-cache     git     gmp     libev
 ---> Running in 78e06b941796
OK: 8208 KiB in 16 packages
( 1/14) Installing brotli-libs (1.2.1-r0)
( 2/14) Installing c-ares (1.34.9-r0)
( 3/14) Installing libunistring (1.4.2-r0)
( 4/14) Installing libidn2 (2.3.8-r0)
( 5/14) Installing nghttp2-libs (1.70.0-r0)
( 6/14) Installing libpsl (0.21.5-r3)
( 7/14) Installing zstd-libs (1.5.7-r2)
( 8/14) Installing libcurl (8.23.0-r0)
( 9/14) Installing libexpat (2.9.0-r0)
(10/14) Installing pcre2 (10.49-r0)
(11/14) Installing git (2.54.0-r0)
(12/14) Installing git-init-template (2.54.0-r0)
(13/14) Installing gmp (6.3.0-r4)
(14/14) Installing libev (4.33-r1)
Executing busybox-1.37.0-r31.trigger
OK: 20.9 MiB in 30 packages
Removing intermediate container 78e06b941796
 ---> 594cf3cdfb44
Step 33/41 : RUN chmod -R 755 /var
 ---> Running in cf29fcb936e3
Removing intermediate container cf29fcb936e3
 ---> 59d672a57772
Step 34/41 : COPY --from=build /home/opam/package.state /var/package.state
 ---> aa917701e16f
Step 35/41 : COPY --from=build /home/opam/rocq-opam-repository /var/opam-repository
 ---> 7a9902fa9daf
Step 36/41 : COPY --from=build /home/opam/_build/default/src/rocqproverorg_web/bin/main.exe /bin/server
 ---> 44c83f101894
Step 37/41 : COPY playground/asset playground/asset
 ---> 003bde04d824
Step 38/41 : RUN git config --global --add safe.directory /var/opam-repository
 ---> Running in 66a822a22e19
Removing intermediate container 66a822a22e19
 ---> 86874fda4ccf
Step 39/41 : ENV ROCQPROVERORG_REPO_PATH=/var/opam-repository/     DOC_PATH=/doc     ROCQPROVERORG_PKG_STATE_PATH=/var/package.state     DREAM_VERBOSITY=info     ROCQPROVERORG_HTTP_PORT=8080
 ---> Running in b8672273ea96
Removing intermediate container b8672273ea96
 ---> ee4a41e9e05e
Step 40/41 : EXPOSE 8080
 ---> Running in b49b3896f051
Removing intermediate container b49b3896f051
 ---> 7b654168b892
Step 41/41 : ENTRYPOINT [ "/bin/server" ]
 ---> Running in 1f1a2ec8bddd
Removing intermediate container 1f1a2ec8bddd
 ---> e783f0a82190
Successfully built e783f0a82190
Successfully tagged rocqproverorg_www_main_web:latest
Recreating rocqproverorg_www_main_web_1 ... 
Recreating rocqproverorg_www_main_web_1 ... done
2026-10-31 14:29.15: Exec: "docker" "image" "prune" "-f" "--filter" "until=24h"
Total reclaimed space: 0B
2026-10-31 14:29.15: Job succeeded