Build:
- 0
2026-05-22 11:42.29: 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 11:42.29: Working directory: "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0"
2026-05-22 11:42.29: Exec: "docker-compose" "-f" "compose.yml" "-p" "rocqproverorg_www_main"
"pull"
Pulling web ...
Pulling web ... done
2026-05-22 11:42.30: Working directory: "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0"
2026-05-22 11:42.30: 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 657265f5f517
Based on commit: 0537b7044bdc2155d7af2b000fe360c0aea68558
Removing intermediate container 657265f5f517
---> b1a272273f9e
Step 9/44 : ENV GIT_COMMIT=${GIT_COMMIT}
---> Running in 23c6b29005af
Removing intermediate container 23c6b29005af
---> 3260bd8c0c78
Step 10/44 : LABEL rocqproverorg=${GIT_COMMIT}
---> Running in bb8b74354993
Removing intermediate container bb8b74354993
---> eca4bbb92240
Step 11/44 : ARG GIT_BRANCH
---> Running in 7d6f4919c8c8
Removing intermediate container 7d6f4919c8c8
---> d82dfe23bbcd
Step 12/44 : RUN echo "Based on branch: $GIT_BRANCH"
---> Running in 7a71a10d96d0
Based on branch: main
Removing intermediate container 7a71a10d96d0
---> ce06e43267b9
Step 13/44 : ENV GIT_BRANCH=${GIT_BRANCH}
---> Running in 086ac09aa152
Removing intermediate container 086ac09aa152
---> dafdbeb216c0
Step 14/44 : LABEL rocqproverorg_branch=${GIT_BRANCH}
---> Running in 754e2e7bc04b
Removing intermediate container 754e2e7bc04b
---> 80382a3e1464
Step 15/44 : COPY --chown=opam:opam . .
---> ba80bed41ba9
Step 16/44 : RUN opam exec -- dune build @install --profile=release
---> Running in eec0b4356604
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 3001ms.
Removing intermediate container eec0b4356604
---> aeb0e1fa6984
Step 17/44 : RUN git clone https://github.com/rocq-prover/opam.git rocq-opam-repository
---> Running in 6f9c2ee39b34
Cloning into 'rocq-opam-repository'...
Updating files: 85% (3605/4221)
Updating files: 86% (3631/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 6f9c2ee39b34
---> 4cec2d6c960c
Step 18/44 : RUN cd rocq-opam-repository && git checkout master && git pull origin master
---> Running in e3c1c0156e0a
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 e3c1c0156e0a
---> 5a87a2b0e202
Step 19/44 : ENV ROCQPROVERORG_REPO_PATH=rocq-opam-repository
---> Running in 2aa7621de2be
Removing intermediate container 2aa7621de2be
---> a2c4f228da67
Step 20/44 : ENV ROCQPROVERORG_PKG_STATE_PATH=package.state
---> Running in 546c4db27153
Removing intermediate container 546c4db27153
---> 4039e586de8b
Step 21/44 : RUN touch package.state && ./init-cache package.state
---> Running in d156931897bb
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 11:44:17.523 Running on 0.0.0.0:8080 (http://localhost:8080)
22.05.26 11:44:17.523 Type Ctrl+C to stop
22.05.26 11:44:17.883 INFO Update server state
22.05.26 11:44:17.883 INFO Opam repository is currently at 0cd8934774894c911bc543df890f337d0b7d13f7
22.05.26 11:44:17.883 INFO Updating opam package list
22.05.26 11:44:17.883 INFO Calculating packages.. .
22.05.26 11:44:18.702 INFO Computing additional informations...
22.05.26 11:44:18.707 INFO Dependencies...
22.05.26 11:44:18.805 INFO Reverse dependencies...
22.05.26 11:44:18.935 INFO Publication dates...
22.05.26 11:44:20.044 INFO Generate package info
22.05.26 11:44:20.280 INFO Computing packages statistics...
22.05.26 11:44:20.322 INFO Loaded 575 packages
22.05.26 11:44:20.322 INFO Package state saved
package.state CLOSE_WRITE,CLOSE
Removing intermediate container d156931897bb
---> e9fbcf09222d
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 f002a1b51d00
Based on commit: 0537b7044bdc2155d7af2b000fe360c0aea68558
Removing intermediate container f002a1b51d00
---> dc26b4fa506d
Step 25/44 : ENV GIT_COMMIT=${GIT_COMMIT}
---> Running in 17cb20ddbdb0
Removing intermediate container 17cb20ddbdb0
---> d6f947ca6619
Step 26/44 : LABEL rocqproverorg=${GIT_COMMIT}
---> Running in c0c97178d482
Removing intermediate container c0c97178d482
---> 533956e50982
Step 27/44 : ARG GIT_BRANCH
---> Running in 1d16da704a72
Removing intermediate container 1d16da704a72
---> 82eb523cf99b
Step 28/44 : RUN echo "Based on branch: $GIT_BRANCH"
---> Running in 01c82910868c
Based on branch: main
Removing intermediate container 01c82910868c
---> 5a5807d22ae0
Step 29/44 : ENV GIT_BRANCH=${GIT_BRANCH}
---> Running in 9d6f8acc7b2a
Removing intermediate container 9d6f8acc7b2a
---> b55326739858
Step 30/44 : LABEL rocqproverorg_branch=${GIT_BRANCH}
---> Running in 491f8bd1d72b
Removing intermediate container 491f8bd1d72b
---> 4cdb16617b72
Step 31/44 : RUN apk update && apk add --update libev gmp git
---> Running in eda4cc002d96
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 eda4cc002d96
---> b8249df16f42
Step 32/44 : RUN chmod -R 755 /var
---> Running in d88918943cf4
Removing intermediate container d88918943cf4
---> f72711aec894
Step 33/44 : COPY --from=build /home/opam/package.state /var/package.state
---> 38f0d5c6d2af
Step 34/44 : COPY --from=build /home/opam/rocq-opam-repository /var/opam-repository
---> 438d7a67bd6c
Step 35/44 : COPY --from=build /home/opam/_build/default/src/rocqproverorg_web/bin/main.exe /bin/server
---> 6d23e251fcb0
Step 36/44 : COPY playground/asset playground/asset
---> bdec4e89d4c6
Step 37/44 : RUN git config --global --add safe.directory /var/opam-repository
---> Running in 404da99eb9bb
Removing intermediate container 404da99eb9bb
---> dca3a5891670
Step 38/44 : ENV ROCQPROVERORG_REPO_PATH=/var/opam-repository/
---> Running in 6cc9ff97cd0d
Removing intermediate container 6cc9ff97cd0d
---> eb0680074a23
Step 39/44 : ENV DOC_PATH=/doc
---> Running in 275d8fefd8e9
Removing intermediate container 275d8fefd8e9
---> 18ac03d1ab47
Step 40/44 : ENV ROCQPROVERORG_PKG_STATE_PATH=/var/package.state
---> Running in f5a4451744e3
Removing intermediate container f5a4451744e3
---> 2a591f82b793
Step 41/44 : ENV DREAM_VERBOSITY=info
---> Running in c1f19225aad6
Removing intermediate container c1f19225aad6
---> 8e98e959aa0b
Step 42/44 : ENV ROCQPROVERORG_HTTP_PORT=8080
---> Running in e793fe6d7121
Removing intermediate container e793fe6d7121
---> 1a85a820600c
Step 43/44 : EXPOSE 8080
---> Running in 184dc33c2b03
Removing intermediate container 184dc33c2b03
---> 1b9665d00ced
Step 44/44 : ENTRYPOINT [ "/bin/server" ]
---> Running in 6272498ce800
Removing intermediate container 6272498ce800
---> b4bd6c631729
Successfully built b4bd6c631729
Successfully tagged rocqproverorg_www_main_web:latest
Recreating rocqproverorg_www_main_web_1 ...
Recreating rocqproverorg_www_main_web_1 ... done
2026-05-22 11:44.49: Exec: "docker" "image" "prune" "-f" "--filter" "until=24h"
Deleted Images:
deleted: sha256:d02ee125fc662360f15ca642a5a6b38d157e0a794a9f7d41cb7c85901903f82b
deleted: sha256:1ac1e25889e2dc57a899f4ced77623c36aa168fa1493e28d6b17c13bd814992f
deleted: sha256:c7ae70154323652e3d722af638e2b06a76b77ca9e345670ce9100372db800696
deleted: sha256:38df2dea4cae520c30836831af07ac49ebab1b4d505033b5ca324f2e818c1bdc
deleted: sha256:ee950bb70e0d35a38b8e23606d59264061ee39c3c31971bd483871ab2382c1be
deleted: sha256:c1495110d70b4629ddcf2772797cb5f095ae431da00f4d7c94b897e3b80a2a94
deleted: sha256:f7ae7f213dc28b386172ebce1c618bf786ddc53b839dc993a6b284f0115c7014
deleted: sha256:d466937b57ff8f92f8e58bd297934eba9f8ede61c36018f8857480697e5af474
deleted: sha256:983f2d9ed42eed5e40ba5a1b8b6663520931b9d0d6b95d87089fd339e5070891
deleted: sha256:228e8490e52d18fe306cacde8c907df30f5ef0591b94c65a5cf9f3d4d4a8d43a
deleted: sha256:5f95c5cf58510bfe4c1a7788e693af2ba05c30720e444cf957850f78d1f46a7b
deleted: sha256:7d0765b083c1d7a5d5cfd450ba088ec3950049bc3395be64bc2b334c4871adef
deleted: sha256:7d63d0820d7cf27c8fe22674235708f9e34bd47605320456609bb374b8ff1a16
deleted: sha256:a971fd4a67eb73cb0b2a512f58f8ed4a2b09e9c5d641fc22edfa8f265a24f887
deleted: sha256:4db728e0230b37bb90a13b1d9527ef41c51c586082aae6e7b65e07fcf0318f55
deleted: sha256:70d48fa79f12cf2199476b9f94c151f50d05bfb9f4430ae58c09fe5e5662af9c
deleted: sha256:75bcf09e0a6d3b07f1427507190f1a197613b25ff34c18bc0f3fa887b9fc9a0d
deleted: sha256:17cfe2cb54951dcde4a74fe10963132dbcfb50841e252f6877ca8a3d902ddb1c
deleted: sha256:9321712076317ac910f89fb97d22c6f4ae9dfb22008aa61abe8afd8263df067b
deleted: sha256:830da374d0863951b93cb9cb8645fb6c68095dee8b4a1f569008101c2ea5f982
deleted: sha256:fb55f9e91633d6669fc284711ee59b7ad10c033d2aff09215add7dc170409db9
deleted: sha256:66a8a65388f085d13f2f310e0dde73d67ef9bb3be18a704669f290c39d385e6d
deleted: sha256:57e16f3160d04140d3eef114748a901f4abe16e935c1751685cb1f925627d315
deleted: sha256:f7b4d36a0f399df1c1d64e4031a1b8af090e3a42b761750c54b37af8e675b292
deleted: sha256:01d8796d9a37ecf0b3fbe643c2c8a5b4cf4a234d88ecb5f9683ab513c80bdb4a
deleted: sha256:94271d855e94029d2595d3b0e00c83ab6f088e8cae2268a48933b2cec7c9f271
deleted: sha256:146fbe85a577b4552fe8b1035f9235b3bdedafa1d5e46ca65f45cf105c850075
deleted: sha256:0dd53ed972fcee1090460edde7776c03cb7f96a654a2debdefe0124fb21353a3
Total reclaimed space: 135.3MB
2026-05-22 11:44.56: Job succeeded