deploy-rocq-prover

Build:
2026-05-22 12:26.17: 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-05-22 12:26.17: Working directory: "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0"
2026-05-22 12:26.17: Exec: "docker-compose" "-f" "compose.yml" "-p" "rocqproverorg_www_main" 
                           "pull"
Pulling web ... 
Pulling web ... done
2026-05-22 12:26.17: Working directory: "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0"
2026-05-22 12:26.17: Exec: "docker-compose" "-f" "compose.yml" "-p" "rocqproverorg_www_main" 
                           "up" "-d" "--build" "--force-recreate"
Building web
Sending build context to Docker daemon  370.4MB

Step 1/44 : FROM ocaml/opam:alpine-3.20-ocaml-5.2 AS build
 ---> 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"
 ---> Running in d95c684f19f5
Based on commit: 69303ce050f5876b7e85d8f586c741ae166df630
Removing intermediate container d95c684f19f5
 ---> a34d1929024b
Step 9/44 : ENV GIT_COMMIT=${GIT_COMMIT}
 ---> Running in 18c42b6a01e8
Removing intermediate container 18c42b6a01e8
 ---> 8406a01805c6
Step 10/44 : LABEL rocqproverorg=${GIT_COMMIT}
 ---> Running in 303c957f432d
Removing intermediate container 303c957f432d
 ---> ff1d851c4bcf
Step 11/44 : ARG GIT_BRANCH
 ---> Running in 0ff48e7e6698
Removing intermediate container 0ff48e7e6698
 ---> 46d96fc7e137
Step 12/44 : RUN echo "Based on branch: $GIT_BRANCH"
 ---> Running in c8414eb7b87b
Based on branch: main
Removing intermediate container c8414eb7b87b
 ---> eca8002f17b6
Step 13/44 : ENV GIT_BRANCH=${GIT_BRANCH}
 ---> Running in 4723a36a1dcc
Removing intermediate container 4723a36a1dcc
 ---> 031cb181fdb4
Step 14/44 : LABEL rocqproverorg_branch=${GIT_BRANCH}
 ---> Running in e60e347b3a15
Removing intermediate container e60e347b3a15
 ---> 0964cc829fb7
Step 15/44 : COPY --chown=opam:opam . .
 ---> b0a3b7891067
Step 16/44 : RUN opam exec -- dune build @install --profile=release
 ---> Running in 7bd7d64fb9d9
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 3871ms.
Removing intermediate container 7bd7d64fb9d9
 ---> 64f4ce937c18
Step 17/44 : RUN git clone https://github.com/rocq-prover/opam.git rocq-opam-repository
 ---> Running in 34d27eac7bf5
Cloning into 'rocq-opam-repository'...
Updating files:  86% (3654/4221)
Updating files:  87% (3673/4221)
Updating files:  88% (3715/4221)
Updating files:  89% (3757/4221)
Updating files:  90% (3799/4221)
Updating files:  91% (3842/4221)
Updating files:  92% (3884/4221)
Updating files:  93% (3926/4221)
Updating files:  94% (3968/4221)
Updating files:  95% (4010/4221)
Updating files:  96% (4053/4221)
Updating files:  97% (4095/4221)
Updating files:  98% (4137/4221)
Updating files:  99% (4179/4221)
Updating files: 100% (4221/4221)
Updating files: 100% (4221/4221), done.
Removing intermediate container 34d27eac7bf5
 ---> a4a59efb0e0a
Step 18/44 : RUN cd rocq-opam-repository && git checkout master && git pull origin master
 ---> Running in adf8f1c6330a
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 adf8f1c6330a
 ---> f8ffee52cd04
Step 19/44 : ENV ROCQPROVERORG_REPO_PATH=rocq-opam-repository
 ---> Running in 6a611a9a771a
Removing intermediate container 6a611a9a771a
 ---> 0dbee51ad550
Step 20/44 : ENV ROCQPROVERORG_PKG_STATE_PATH=package.state
 ---> Running in 5555dee32c57
Removing intermediate container 5555dee32c57
 ---> 2beabfcf5b96
Step 21/44 : RUN touch package.state && ./init-cache package.state
 ---> Running in dadce3808d89
PID=10
Setting up watches.
Watches established.
main.exe: [INFO] State cache file: package.state
main.exe: [INFO] Package state starting from scratch
22.05.26 12:28:07.228                       Running on 0.0.0.0:8080 (http://localhost:8080)
22.05.26 12:28:07.228                       Type Ctrl+C to stop
22.05.26 12:28:07.642                  INFO Update server state
22.05.26 12:28:07.642                  INFO Opam repository is currently at 0cd8934774894c911bc543df890f337d0b7d13f7
22.05.26 12:28:07.642                  INFO Updating opam package list
22.05.26 12:28:07.642                  INFO Calculating packages.. .
22.05.26 12:28:08.711                  INFO Computing additional informations...
22.05.26 12:28:08.716                  INFO Dependencies...
22.05.26 12:28:08.822                  INFO Reverse dependencies...
22.05.26 12:28:08.964                  INFO Publication dates...
22.05.26 12:28:10.072                  INFO Generate package info
22.05.26 12:28:10.306                  INFO Computing packages statistics...
22.05.26 12:28:10.342                  INFO Loaded 575 packages
22.05.26 12:28:10.342                  INFO Package state saved
package.state CLOSE_WRITE,CLOSE 
Removing intermediate container dadce3808d89
 ---> 7ef0807bd701
Step 22/44 : FROM alpine:3.20 AS run
 ---> bf8527eb54c3
Step 23/44 : ARG GIT_COMMIT
 ---> Using cache
 ---> 9c679d766a3b
Step 24/44 : RUN echo "Based on commit: $GIT_COMMIT"
 ---> Running in f36dc249eb9f
Based on commit: 69303ce050f5876b7e85d8f586c741ae166df630
Removing intermediate container f36dc249eb9f
 ---> 2f586e4fb58c
Step 25/44 : ENV GIT_COMMIT=${GIT_COMMIT}
 ---> Running in ca8e2733aa8f
Removing intermediate container ca8e2733aa8f
 ---> 5213b763b4f3
Step 26/44 : LABEL rocqproverorg=${GIT_COMMIT}
 ---> Running in 6e13dd08ab78
Removing intermediate container 6e13dd08ab78
 ---> fec209a6dbf3
Step 27/44 : ARG GIT_BRANCH
 ---> Running in 0a379f91855b
Removing intermediate container 0a379f91855b
 ---> a95ff5ebe6e2
Step 28/44 : RUN echo "Based on branch: $GIT_BRANCH"
 ---> Running in cb699dab0eb5
Based on branch: main
Removing intermediate container cb699dab0eb5
 ---> 0fca7b58a6f9
Step 29/44 : ENV GIT_BRANCH=${GIT_BRANCH}
 ---> Running in 5074031f1d23
Removing intermediate container 5074031f1d23
 ---> 1da677dcf840
Step 30/44 : LABEL rocqproverorg_branch=${GIT_BRANCH}
 ---> Running in 967731974cfd
Removing intermediate container 967731974cfd
 ---> 080ab74a3b13
Step 31/44 : RUN apk update && apk add --update libev gmp git
 ---> Running in a28c37272631
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-74-g8ee9c595231 [https://dl-cdn.alpinelinux.org/alpine/v3.20/main]
v3.20.10-69-g26e2e8d55a4 [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.7.5-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 a28c37272631
 ---> bd89ba2c6e2e
Step 32/44 : RUN chmod -R 755 /var
 ---> Running in 0c4c639439a4
Removing intermediate container 0c4c639439a4
 ---> 0487aedff56b
Step 33/44 : COPY --from=build /home/opam/package.state /var/package.state
 ---> 55893d086833
Step 34/44 : COPY --from=build /home/opam/rocq-opam-repository /var/opam-repository
 ---> 937b3c824d06
Step 35/44 : COPY --from=build /home/opam/_build/default/src/rocqproverorg_web/bin/main.exe /bin/server
 ---> 13b21f453b2f
Step 36/44 : COPY playground/asset playground/asset
 ---> 75f649ae5454
Step 37/44 : RUN git config --global --add safe.directory /var/opam-repository
 ---> Running in 3a12f197b3bf
Removing intermediate container 3a12f197b3bf
 ---> 679044c27655
Step 38/44 : ENV ROCQPROVERORG_REPO_PATH=/var/opam-repository/
 ---> Running in fd373c5fdb2b
Removing intermediate container fd373c5fdb2b
 ---> c5605d1c018a
Step 39/44 : ENV DOC_PATH=/doc
 ---> Running in 08a48620c112
Removing intermediate container 08a48620c112
 ---> 058bc95669c5
Step 40/44 : ENV ROCQPROVERORG_PKG_STATE_PATH=/var/package.state
 ---> Running in 30c7f3206e03
Removing intermediate container 30c7f3206e03
 ---> 63d2cee7fe6d
Step 41/44 : ENV DREAM_VERBOSITY=info
 ---> Running in 15cda5c42aaf
Removing intermediate container 15cda5c42aaf
 ---> 42577719002c
Step 42/44 : ENV ROCQPROVERORG_HTTP_PORT=8080
 ---> Running in bee0f59a61f0
Removing intermediate container bee0f59a61f0
 ---> 53ad0b1a2442
Step 43/44 : EXPOSE 8080
 ---> Running in 3c777b875e00
Removing intermediate container 3c777b875e00
 ---> 287a4f4a99ff
Step 44/44 : ENTRYPOINT [ "/bin/server" ]
 ---> Running in 6b9332a9eaea
Removing intermediate container 6b9332a9eaea
 ---> 5d3f5d5f8134
Successfully built 5d3f5d5f8134
Successfully tagged rocqproverorg_www_main_web:latest
Recreating rocqproverorg_www_main_web_1 ... 
Recreating rocqproverorg_www_main_web_1 ... done
2026-05-22 12:28.40: Exec: "docker" "image" "prune" "-f" "--filter" "until=24h"
Total reclaimed space: 0B
2026-05-22 12:28.41: Job succeeded