Build:
- 0
2026-09-02 14:04.27: 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-09-02 14:04.27: Working directory: "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0"
2026-09-02 14:04.27: Exec: "docker-compose" "-f" "compose.yml" "-p" "rocqproverorg_www_main"
"pull"
Pulling web ...
Pulling web ... done
2026-09-02 14:04.30: Working directory: "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0"
2026-09-02 14:04.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.7MB
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 5a305f3efaf4
Based on commit: 5e57f4646032070f124b847d50b3005a22b2cb00
Removing intermediate container 5a305f3efaf4
---> af343eb5ec0b
Step 9/44 : ENV GIT_COMMIT=${GIT_COMMIT}
---> Running in c625bf404882
Removing intermediate container c625bf404882
---> 7c70452088f4
Step 10/44 : LABEL rocqproverorg=${GIT_COMMIT}
---> Running in aeec3eaadbc7
Removing intermediate container aeec3eaadbc7
---> 7deabc28bc7f
Step 11/44 : ARG GIT_BRANCH
---> Running in fa8cb8e8d476
Removing intermediate container fa8cb8e8d476
---> d30e485f0140
Step 12/44 : RUN echo "Based on branch: $GIT_BRANCH"
---> Running in c536f0aca4c0
Based on branch: main
Removing intermediate container c536f0aca4c0
---> 65744eb970c5
Step 13/44 : ENV GIT_BRANCH=${GIT_BRANCH}
---> Running in 8644d39b89d3
Removing intermediate container 8644d39b89d3
---> 4d0ed3857601
Step 14/44 : LABEL rocqproverorg_branch=${GIT_BRANCH}
---> Running in 500ca0178b0e
Removing intermediate container 500ca0178b0e
---> be78d702f82c
Step 15/44 : COPY --chown=opam:opam . .
---> d4811549b9fd
Step 16/44 : RUN opam exec -- dune build @install --profile=release
---> Running in ea6078191471
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 3424ms.
Removing intermediate container ea6078191471
---> 7cbcd1dcb181
Step 17/44 : RUN git clone https://github.com/rocq-prover/opam.git rocq-opam-repository
---> Running in 322218dbb2fb
Cloning into 'rocq-opam-repository'...
Removing intermediate container 322218dbb2fb
---> 48f59032a9d2
Step 18/44 : RUN cd rocq-opam-repository && git checkout master && git pull origin master
---> Running in 750e785bc9cc
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 750e785bc9cc
---> 900be35fb979
Step 19/44 : ENV ROCQPROVERORG_REPO_PATH=rocq-opam-repository
---> Running in ce6074bd9d56
Removing intermediate container ce6074bd9d56
---> cb6c34abf66f
Step 20/44 : ENV ROCQPROVERORG_PKG_STATE_PATH=package.state
---> Running in d7055315be22
Removing intermediate container d7055315be22
---> bf76d9fd218a
Step 21/44 : RUN touch package.state && ./init-cache package.state
---> Running in d09276bc4d71
PID=10
Setting up watches.
Watches established.
main.exe: [INFO] State cache file: package.state
main.exe: [INFO] Package state starting from scratch
02.09.26 14:06:59.628 Running on 0.0.0.0:8080 (http://localhost:8080)
02.09.26 14:06:59.628 Type Ctrl+C to stop
02.09.26 14:07:00.386 INFO Update server state
02.09.26 14:07:00.386 INFO Opam repository is currently at a276487c0f49392cf38fd789d8aecbf24d29dfc7
02.09.26 14:07:00.386 INFO Updating opam package list
02.09.26 14:07:00.387 INFO Calculating packages.. .
02.09.26 14:07:01.356 INFO Computing additional informations...
02.09.26 14:07:01.362 INFO Dependencies...
02.09.26 14:07:01.478 INFO Reverse dependencies...
02.09.26 14:07:01.637 INFO Publication dates...
02.09.26 14:07:02.810 INFO Generate package info
02.09.26 14:07:03.052 INFO Computing packages statistics...
02.09.26 14:07:03.082 INFO Loaded 587 packages
02.09.26 14:07:03.082 INFO Package state saved
package.state CLOSE_WRITE,CLOSE
Removing intermediate container d09276bc4d71
---> 2616e79d2ca1
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 3ffe6038a7f2
Based on commit: 5e57f4646032070f124b847d50b3005a22b2cb00
Removing intermediate container 3ffe6038a7f2
---> 1cb2be4bd5a6
Step 25/44 : ENV GIT_COMMIT=${GIT_COMMIT}
---> Running in aa0f1b3b779a
Removing intermediate container aa0f1b3b779a
---> e06b5e5953ea
Step 26/44 : LABEL rocqproverorg=${GIT_COMMIT}
---> Running in 858c2a046749
Removing intermediate container 858c2a046749
---> c37459d43d30
Step 27/44 : ARG GIT_BRANCH
---> Running in b4e7c2d7e950
Removing intermediate container b4e7c2d7e950
---> 7ad3eef8ed78
Step 28/44 : RUN echo "Based on branch: $GIT_BRANCH"
---> Running in c253fae85e84
Based on branch: main
Removing intermediate container c253fae85e84
---> 140d19e30aec
Step 29/44 : ENV GIT_BRANCH=${GIT_BRANCH}
---> Running in d92c9a78e282
Removing intermediate container d92c9a78e282
---> bc67677e52db
Step 30/44 : LABEL rocqproverorg_branch=${GIT_BRANCH}
---> Running in a5574102a59d
Removing intermediate container a5574102a59d
---> fdc031a62f7f
Step 31/44 : RUN apk update && apk add --update libev gmp git
---> Running in 933837f54a4e
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-114-ga410d2306e5 [https://dl-cdn.alpinelinux.org/alpine/v3.20/main]
v3.20.10-106-gcfb1a4769c3 [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.8.1-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 933837f54a4e
---> a8ce044f1dca
Step 32/44 : RUN chmod -R 755 /var
---> Running in 718ecf118c4e
Removing intermediate container 718ecf118c4e
---> 395d44024698
Step 33/44 : COPY --from=build /home/opam/package.state /var/package.state
---> bd4b746304ec
Step 34/44 : COPY --from=build /home/opam/rocq-opam-repository /var/opam-repository
---> 43b4f67e812a
Step 35/44 : COPY --from=build /home/opam/_build/default/src/rocqproverorg_web/bin/main.exe /bin/server
---> 14638c90bce1
Step 36/44 : COPY playground/asset playground/asset
---> c4b331a9df11
Step 37/44 : RUN git config --global --add safe.directory /var/opam-repository
---> Running in c18b91ead8a3
Removing intermediate container c18b91ead8a3
---> 586fe622e1a2
Step 38/44 : ENV ROCQPROVERORG_REPO_PATH=/var/opam-repository/
---> Running in 5f6b0eaa7148
Removing intermediate container 5f6b0eaa7148
---> b19db7913bb8
Step 39/44 : ENV DOC_PATH=/doc
---> Running in 51a08995438b
Removing intermediate container 51a08995438b
---> 416687dac2db
Step 40/44 : ENV ROCQPROVERORG_PKG_STATE_PATH=/var/package.state
---> Running in 4aebf8df7551
Removing intermediate container 4aebf8df7551
---> 2fe61a9a50d5
Step 41/44 : ENV DREAM_VERBOSITY=info
---> Running in f063ea7ffde9
Removing intermediate container f063ea7ffde9
---> 5cd26d6d1e50
Step 42/44 : ENV ROCQPROVERORG_HTTP_PORT=8080
---> Running in 32c9d9186699
Removing intermediate container 32c9d9186699
---> 03b2481f634d
Step 43/44 : EXPOSE 8080
---> Running in 1cff20cab0d8
Removing intermediate container 1cff20cab0d8
---> 224cb374f792
Step 44/44 : ENTRYPOINT [ "/bin/server" ]
---> Running in 390759d01f5a
Removing intermediate container 390759d01f5a
---> ca7af177853e
Successfully built ca7af177853e
Successfully tagged rocqproverorg_www_main_web:latest
Recreating rocqproverorg_www_main_web_1 ...
Recreating rocqproverorg_www_main_web_1 ... done
2026-09-02 14:07.35: Exec: "docker" "image" "prune" "-f" "--filter" "until=24h"
Deleted Images:
deleted: sha256:b9cd2510aa17ed9111a51d0ed8951a14ac1f9195b816a7106dfeda95078f4dd3
deleted: sha256:ed69b503961723a21c4dc7d034040cf75579959db1dd28f211763d1e0e75e766
deleted: sha256:5ea6a4eee6741d2d89a1d905e699ea2aaf8992ba8d0941d17d7325516c7c1a96
deleted: sha256:e9ca44db02933131bef84ce549b305835c1e0f1007efe5ed6cac90fcde51579f
deleted: sha256:2627d791751d5258fcec136ee40de1b06e1ab587d615881ec7ce89062febac8c
deleted: sha256:cd5345f944f908acd3a91c7a03c97c43e012f9f2f0fa8d24b0241ee5bb9f2556
deleted: sha256:3fa398cdd9135250a7ca7d744e2456f0f1017581c8a0b4dcf590e9532847ce2d
deleted: sha256:b46697c2c17883f251f9104493b9bba2cc2a29588fa5d7bc679837f4b3bbbcc9
deleted: sha256:30f79bcb71b588dac492e06575e7a793a4b19bc4f4ae0097f7f14ba590a9ffc1
deleted: sha256:0acdf48a441d1bd6a068b85650b9be64ff761882f890b6aa1668422a9be40fdc
deleted: sha256:600800fc1c82b6f1a5e5c39b951a4c9c68d0bfc0e914cf4b67d0062d071badb2
deleted: sha256:ecdd05b087bb7f179f77357ac2ada91a83be606d8afc153f4ece4448ba1b5c3f
deleted: sha256:bbcedb49a12aafeb2f5f482de7d4da3854f8a2e159706706f4aa3de6836f8cb1
deleted: sha256:fe9dda00b77ffa8902ef5cc026e2edb030d51acf3031f18aa9b29dea4df2f62b
deleted: sha256:4ce78fabe49007e9e13747a6a1c28f2411ab9ae6069b9cccb900ff0fdd06a5a8
deleted: sha256:f4a18371ff87a0aacc416c324e18807c6dd0c316d4abd96799b4ba5cae19863d
deleted: sha256:e49e01081edd57dd9146061077a1c57d5e731944e742d98f734a7f6c8210911f
deleted: sha256:50472d91db6a357c6be4eda6287983774c6b788aa0418afc0d08fea33bc1401c
deleted: sha256:4dfe8467ee4006f447682556094045691b9b43efd0fd156dcd4c18c0270ec4d2
deleted: sha256:fc8dd139ccaf9696e1790c1d0739af3597a17b330aaf81440493360088e7fe95
deleted: sha256:644604148b012da3511aded835a9652328bd04b93017c0fc3eaddae3896ce38a
deleted: sha256:507ea88c6790306abc30843805706f045993998dec285372881a3385dbc5cb99
deleted: sha256:4ea18d4af2d948b3b83021a8c763533a1ca8620b8b8b8968f34c9c9a78a07877
deleted: sha256:74a7a5061cdea8722ed78b589aa01337c27993adeabaebd84730794eb00815f1
deleted: sha256:7ce17d63fffabc38a0297910ab6b5c59f51c08a5ce78bacd474c3c89a12ff16f
deleted: sha256:9c16c537229e1b85de84373c326c0e3fd964455fe22c6112f4a74a09469e5748
deleted: sha256:53171050759040a49ee39c3d80476aa423e362a2b46ceb14f16e1d9b0358fa6e
deleted: sha256:22bf3d8f26882a713c41a273dfc2615d553e8080839cbccab6857f248ef78331
deleted: sha256:24163e63488cf7e832faddab646907a71ef77aaa53db980b5738b5f0dc6ebd04
deleted: sha256:3a61d496f48a8bf3e483392124d0c80667284f66f441bbb8007b63cdc42153f0
deleted: sha256:a6783cfa309c765dbd85c57be127dd5073c7bf0a2c3a668e9b36f3e033a229c9
deleted: sha256:2982e8bbfaeda6911b0a10117fff3aad4eb24013bc1330cdac60741af09cb8af
deleted: sha256:1b574de9fbbee776ada6211f24955aaca50eb19e5c0cc5f6b52e611626a611ea
deleted: sha256:98c85b79942af58ecaa7e56d5cf24a2e3b3123e0123b1607da6bac074a28bc6a
deleted: sha256:86c2ff80375d870eff84f9bd7b8b9eba8f35512e7417f8296584b708e67d7c9b
deleted: sha256:50422567296dc5d84d078699b56839bb219a29c2024e9ac041a6221b88d073ab
deleted: sha256:ddb02836d0c93a84eb89d50aeb7cb2b17925ffc4a02f6dc2f849e002e05fc971
deleted: sha256:938fba11ad1c8c6e51080f8f005613278319182b6e23be26db49076c65f443e4
deleted: sha256:ef7373d80c679de143888b3b0ccbdd3a355a3e5748d64fabdca05a518de09c1d
deleted: sha256:6f80006af4d717eb7d83a06d0e8612294d873046501994e62b6bb336452258ea
deleted: sha256:ef78acb12235ca1672598ca30ca209d8e87afec99347cf8ca07f97a0edbc7404
deleted: sha256:bd3c3bb399540951996e247d10fa7802cb58a893c2e3db77cba64bc4c5149bd4
deleted: sha256:8d069d54d29a3f89b40885318afee9771bc18d735b87e965b58cb8f1125a6a35
deleted: sha256:a0c7c95ad50b8f3ed9c94ef58a6c2dceccd070a2a2edccce0f4d5171f30ec76a
deleted: sha256:aa17bd8d02ee61382606e5e36f487b0ec2658f8a462d33af5a1aa6a2e8da206a
deleted: sha256:a91ff075d2140660502734d34c934573abff4a1721f7e7f4b1fc6b1fb2354bcd
deleted: sha256:011064b027393778d83e758e23c33b1f8eb3bd57b177d2b14efe561954933d6f
Total reclaimed space: 1.759GB
2026-09-02 14:07.57: Job succeeded