deploy-rocq-prover

Build:
2026-10-31 14:13.50: 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:13.50: Working directory: "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0"
2026-10-31 14:13.50: Exec: "docker-compose" "-f" "compose.yml" "-p" "rocqproverorg_www_main" 
                           "pull"
Pulling web ... 
Pulling web ... done
2026-10-31 14:13.51: Working directory: "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0"
2026-10-31 14:13.51: 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 7750998c0d9d
Based on commit: 7dc7efe06d038ee0c8a2c8be0f1baef7b6231bcf
Removing intermediate container 7750998c0d9d
 ---> fd9b91821526
Step 11/41 : ENV GIT_COMMIT=${GIT_COMMIT}
 ---> Running in 79c6ad31ae7f
Removing intermediate container 79c6ad31ae7f
 ---> 976cd40232fc
Step 12/41 : LABEL rocqproverorg=${GIT_COMMIT}
 ---> Running in b6d305ab5265
Removing intermediate container b6d305ab5265
 ---> d6d9983b2d0a
Step 13/41 : ARG GIT_BRANCH
 ---> Running in b092d5ea90a9
Removing intermediate container b092d5ea90a9
 ---> a3cab7a693dc
Step 14/41 : RUN echo "Based on branch: $GIT_BRANCH"
 ---> Running in 1e26fcff98b5
Based on branch: main
Removing intermediate container 1e26fcff98b5
 ---> 29d5f88bda0a
Step 15/41 : ENV GIT_BRANCH=${GIT_BRANCH}
 ---> Running in d58f436a7fc6
Removing intermediate container d58f436a7fc6
 ---> 70fd3b485749
Step 16/41 : LABEL rocqproverorg_branch=${GIT_BRANCH}
 ---> Running in d3777540480e
Removing intermediate container d3777540480e
 ---> df8262719445
Step 17/41 : COPY --chown=opam:opam . .
 ---> 5f55c1d55799
Step 18/41 : RUN opam exec -- dune build @install --profile=release
 ---> Running in 37e889c68bc0
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 2808ms.
Packed 847322 bytes to src/rocqproverorg_data/data.bin
Removing intermediate container 37e889c68bc0
 ---> 9495b809d0d1
Step 19/41 : RUN git clone https://github.com/rocq-prover/opam.git rocq-opam-repository
 ---> Running in d57c7bccefdb
Cloning into 'rocq-opam-repository'...
Removing intermediate container d57c7bccefdb
 ---> 029dc228f07c
Step 20/41 : RUN cd rocq-opam-repository && git checkout master && git pull origin master
 ---> Running in 6fe103f67819
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 6fe103f67819
 ---> 92f661f5eeac
Step 21/41 : ENV ROCQPROVERORG_REPO_PATH=rocq-opam-repository     ROCQPROVERORG_PKG_STATE_PATH=package.state
 ---> Running in dd3d53aa41ae
Removing intermediate container dd3d53aa41ae
 ---> 59418c1c7c5c
Step 22/41 : RUN touch package.state && ./init-cache package.state
 ---> Running in 73e1da9ae926
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:15:23.073                       Running on 0.0.0.0:8080 (http://localhost:8080)
31.10.26 14:15:23.073                       Type Ctrl+C to stop
31.10.26 14:15:23.558                  INFO Update server state
31.10.26 14:15:23.558                  INFO Opam repository is currently at 513d503c69b3464f2c38853bcca455c7d9a50f44
31.10.26 14:15:23.558                  INFO Updating opam package list
31.10.26 14:15:23.558                  INFO Calculating packages.. .
31.10.26 14:15:24.374                  INFO Computing additional informations...
31.10.26 14:15:24.380                  INFO Dependencies...
31.10.26 14:15:24.484                  INFO Reverse dependencies...
31.10.26 14:15:24.607                  INFO Publication dates...
31.10.26 14:15:25.760                  INFO Generate package info
31.10.26 14:15:25.958                  INFO Computing packages statistics...
31.10.26 14:15:25.991                  INFO Loaded 605 packages
31.10.26 14:15:25.991                  INFO Package state saved
package.state CLOSE_WRITE,CLOSE 
Removing intermediate container 73e1da9ae926
 ---> f2aaf0415f97
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 45a5111f2959
Based on commit: 7dc7efe06d038ee0c8a2c8be0f1baef7b6231bcf
Removing intermediate container 45a5111f2959
 ---> f7fbe29d7c44
Step 26/41 : ENV GIT_COMMIT=${GIT_COMMIT}
 ---> Running in 7d435a7f337d
Removing intermediate container 7d435a7f337d
 ---> 6bc48c18e564
Step 27/41 : LABEL rocqproverorg=${GIT_COMMIT}
 ---> Running in d946235fe6df
Removing intermediate container d946235fe6df
 ---> 953042fbc52d
Step 28/41 : ARG GIT_BRANCH
 ---> Running in 026d6f8db920
Removing intermediate container 026d6f8db920
 ---> 96965dae471c
Step 29/41 : RUN echo "Based on branch: $GIT_BRANCH"
 ---> Running in 822bfc7903b5
Based on branch: main
Removing intermediate container 822bfc7903b5
 ---> 12c365ae638c
Step 30/41 : ENV GIT_BRANCH=${GIT_BRANCH}
 ---> Running in a5587d64b74b
Removing intermediate container a5587d64b74b
 ---> 1673cf940097
Step 31/41 : LABEL rocqproverorg_branch=${GIT_BRANCH}
 ---> Running in 724bd6d01816
Removing intermediate container 724bd6d01816
 ---> ef3281aeee59
Step 32/41 : RUN apk -U upgrade --no-cache && apk add --no-cache     git     gmp     libev
 ---> Running in 43b0e971b19a
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 43b0e971b19a
 ---> 0c86bd8fdb57
Step 33/41 : RUN chmod -R 755 /var
 ---> Running in 56fce97a9101
Removing intermediate container 56fce97a9101
 ---> dcb14738c75c
Step 34/41 : COPY --from=build /home/opam/package.state /var/package.state
 ---> bc05a1b0559f
Step 35/41 : COPY --from=build /home/opam/rocq-opam-repository /var/opam-repository
 ---> 5803d30f6079
Step 36/41 : COPY --from=build /home/opam/_build/default/src/rocqproverorg_web/bin/main.exe /bin/server
 ---> 686f0ceef1b0
Step 37/41 : COPY playground/asset playground/asset
 ---> 06259f895a4e
Step 38/41 : RUN git config --global --add safe.directory /var/opam-repository
 ---> Running in 004aeb245b95
Removing intermediate container 004aeb245b95
 ---> bbff9d651415
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 dd48373a0236
Removing intermediate container dd48373a0236
 ---> 16e3ca31531e
Step 40/41 : EXPOSE 8080
 ---> Running in 8689b161e50f
Removing intermediate container 8689b161e50f
 ---> 8d16862dcd40
Step 41/41 : ENTRYPOINT [ "/bin/server" ]
 ---> Running in 47e23cda69d9
Removing intermediate container 47e23cda69d9
 ---> 5ea2295d008f
Successfully built 5ea2295d008f
Successfully tagged rocqproverorg_www_main_web:latest
Recreating rocqproverorg_www_main_web_1 ... 
Recreating rocqproverorg_www_main_web_1 ... done
2026-10-31 14:15.53: Exec: "docker" "image" "prune" "-f" "--filter" "until=24h"
Total reclaimed space: 0B
2026-10-31 14:15.54: Job succeeded