Build:
- 0
2026-07-02 08:26.27: New job: "docker-compose" "-f" "compose.yml" "-p"
"rocqproverorg_www_staging" "up" "-d" "--build"
"--force-recreate"
cwd: /var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0
2026-07-02 08:26.27: Working directory: "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0"
2026-07-02 08:26.27: Exec: "docker-compose" "-f" "compose.yml" "-p" "rocqproverorg_www_staging"
"pull"
Pulling web ...
Pulling web ... done
2026-07-02 08:26.32: Working directory: "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0"
2026-07-02 08:26.32: Exec: "docker-compose" "-f" "compose.yml" "-p" "rocqproverorg_www_staging"
"up" "-d" "--build" "--force-recreate"
Building web
Sending build context to Docker daemon 370.6MB
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 2d04b3f4c926
Based on commit: 93cbefb988ed064017b9a1aff62507c97471fc0c
Removing intermediate container 2d04b3f4c926
---> 69e3a407d27b
Step 9/44 : ENV GIT_COMMIT=${GIT_COMMIT}
---> Running in b11622fd5066
Removing intermediate container b11622fd5066
---> 1d4ebeb886af
Step 10/44 : LABEL rocqproverorg=${GIT_COMMIT}
---> Running in d98bbd787fbf
Removing intermediate container d98bbd787fbf
---> f2c17fd72779
Step 11/44 : ARG GIT_BRANCH
---> Running in 006e3eaf0dad
Removing intermediate container 006e3eaf0dad
---> 9d2fc3548722
Step 12/44 : RUN echo "Based on branch: $GIT_BRANCH"
---> Running in 270f65e71a18
Based on branch: staging
Removing intermediate container 270f65e71a18
---> de75b368b26b
Step 13/44 : ENV GIT_BRANCH=${GIT_BRANCH}
---> Running in 39d8c9b94a54
Removing intermediate container 39d8c9b94a54
---> a4977b3f2237
Step 14/44 : LABEL rocqproverorg_branch=${GIT_BRANCH}
---> Running in 217acc4aa737
Removing intermediate container 217acc4aa737
---> 083f009a1b73
Step 15/44 : COPY --chown=opam:opam . .
---> b6c9870a9ee9
Step 16/44 : RUN opam exec -- dune build @install --profile=release
---> Running in 7f3418effb72
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 5963ms.
Removing intermediate container 7f3418effb72
---> 94eff560bd41
Step 17/44 : RUN git clone https://github.com/rocq-prover/opam.git rocq-opam-repository
---> Running in f81961881ab2
Cloning into 'rocq-opam-repository'...
Removing intermediate container f81961881ab2
---> b6b49e82e5f2
Step 18/44 : RUN cd rocq-opam-repository && git checkout master && git pull origin master
---> Running in a1ec7dc89636
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 a1ec7dc89636
---> a0c6c37925aa
Step 19/44 : ENV ROCQPROVERORG_REPO_PATH=rocq-opam-repository
---> Running in a5a5937a6808
Removing intermediate container a5a5937a6808
---> bbeb7b390f21
Step 20/44 : ENV ROCQPROVERORG_PKG_STATE_PATH=package.state
---> Running in 1c3b20e65d33
Removing intermediate container 1c3b20e65d33
---> 9ffa7a47ddd0
Step 21/44 : RUN touch package.state && ./init-cache package.state
---> Running in 9673be81947f
Setting up watches.
Watches established.
PID=11
main.exe: [INFO] State cache file: package.state
main.exe: [INFO] Package state starting from scratch
02.07.26 08:30:18.205 Running on 0.0.0.0:8080 (http://localhost:8080)
02.07.26 08:30:18.205 Type Ctrl+C to stop
02.07.26 08:30:18.848 INFO Update server state
02.07.26 08:30:18.849 INFO Opam repository is currently at dab366213a390add2caa16f541fd55f51421524a
02.07.26 08:30:18.849 INFO Updating opam package list
02.07.26 08:30:18.849 INFO Calculating packages.. .
02.07.26 08:30:19.700 INFO Computing additional informations...
02.07.26 08:30:19.706 INFO Dependencies...
02.07.26 08:30:19.819 INFO Reverse dependencies...
02.07.26 08:30:19.961 INFO Publication dates...
02.07.26 08:30:21.014 INFO Generate package info
02.07.26 08:30:21.242 INFO Computing packages statistics...
02.07.26 08:30:21.286 INFO Loaded 576 packages
02.07.26 08:30:21.286 INFO Package state saved
package.state CLOSE_WRITE,CLOSE
Removing intermediate container 9673be81947f
---> ed078ed28b7b
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 6a048af419ee
Based on commit: 93cbefb988ed064017b9a1aff62507c97471fc0c
Removing intermediate container 6a048af419ee
---> ee9dc9cff03f
Step 25/44 : ENV GIT_COMMIT=${GIT_COMMIT}
---> Running in e862ebfa4a05
Removing intermediate container e862ebfa4a05
---> f81749553ed2
Step 26/44 : LABEL rocqproverorg=${GIT_COMMIT}
---> Running in 1c7956bbcebc
Removing intermediate container 1c7956bbcebc
---> 236e9df9bcde
Step 27/44 : ARG GIT_BRANCH
---> Running in 1be3c1b6a601
Removing intermediate container 1be3c1b6a601
---> 980827b854b2
Step 28/44 : RUN echo "Based on branch: $GIT_BRANCH"
---> Running in 773532f5dc7a
Based on branch: staging
Removing intermediate container 773532f5dc7a
---> c61eee50ec5b
Step 29/44 : ENV GIT_BRANCH=${GIT_BRANCH}
---> Running in e652dc959d34
Removing intermediate container e652dc959d34
---> 5e7f87d747d9
Step 30/44 : LABEL rocqproverorg_branch=${GIT_BRANCH}
---> Running in 3f827535afe5
Removing intermediate container 3f827535afe5
---> 7502297fb6fc
Step 31/44 : RUN apk update && apk add --update libev gmp git
---> Running in a7ef0b731739
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-103-gfcf67655d29 [https://dl-cdn.alpinelinux.org/alpine/v3.20/main]
v3.20.10-105-g68fc69bb571 [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 a7ef0b731739
---> 0cb19343a18b
Step 32/44 : RUN chmod -R 755 /var
---> Running in 7afb439cc1eb
Removing intermediate container 7afb439cc1eb
---> a061bf74e70b
Step 33/44 : COPY --from=build /home/opam/package.state /var/package.state
---> 0fc376aaeafa
Step 34/44 : COPY --from=build /home/opam/rocq-opam-repository /var/opam-repository
---> f53e6b2366f1
Step 35/44 : COPY --from=build /home/opam/_build/default/src/rocqproverorg_web/bin/main.exe /bin/server
---> db93737f4766
Step 36/44 : COPY playground/asset playground/asset
---> 0fa5b5b00569
Step 37/44 : RUN git config --global --add safe.directory /var/opam-repository
---> Running in 2b303c953f33
Removing intermediate container 2b303c953f33
---> 0e599b3f06b7
Step 38/44 : ENV ROCQPROVERORG_REPO_PATH=/var/opam-repository/
---> Running in 6858cc0a8dbb
Removing intermediate container 6858cc0a8dbb
---> febb5b3add06
Step 39/44 : ENV DOC_PATH=/doc
---> Running in 411855e0940f
Removing intermediate container 411855e0940f
---> 476cd5b7c05e
Step 40/44 : ENV ROCQPROVERORG_PKG_STATE_PATH=/var/package.state
---> Running in b9f5c4956057
Removing intermediate container b9f5c4956057
---> 16d0752b8183
Step 41/44 : ENV DREAM_VERBOSITY=info
---> Running in 4c89e95d1499
Removing intermediate container 4c89e95d1499
---> 4152039ac65f
Step 42/44 : ENV ROCQPROVERORG_HTTP_PORT=8080
---> Running in 9bc3ae0c4373
Removing intermediate container 9bc3ae0c4373
---> bd8d28822ec2
Step 43/44 : EXPOSE 8080
---> Running in f7fa666df468
Removing intermediate container f7fa666df468
---> fed8c894e856
Step 44/44 : ENTRYPOINT [ "/bin/server" ]
---> Running in f8f7148d0b1e
Removing intermediate container f8f7148d0b1e
---> 1d6bd7aef843
Successfully built 1d6bd7aef843
Successfully tagged rocqproverorg_www_staging_web:latest
Recreating rocqproverorg_www_staging_web_1 ...
Recreating rocqproverorg_www_staging_web_1 ... done
2026-07-02 08:31.00: Exec: "docker" "image" "prune" "-f" "--filter" "until=24h"
Deleted Images:
deleted: sha256:9bb8ef288ae8d9d21eb0d775ce92749c27a3c63272dde01ac48867e1ef253f81
deleted: sha256:17fdbd756f04e9678924071e08f98140e6613a507556eb956f9530299cf77890
deleted: sha256:db821a56a05831431b1c38acde5b9339d1af4ef09ee17ae2d1cbcde3f921c89e
deleted: sha256:11e6a613179b05435af459d5b93d9302570c4ee136a009b285e144a565e657d8
deleted: sha256:56a86357bf06f4e8693afb5d840d08de9cf4524fb40f091506dc34f379238a74
deleted: sha256:d0daee31f44bbb7f52226b54695decf416ac15a0456b2f8b881647009399b25d
deleted: sha256:57141a6f88d7969aa1fc43b244728881dcffc69013d84b894001f52748d0b328
deleted: sha256:10650976e5df6fa860b44a3c9714be8c90b015bf069c9f45f2d923bc8f6fe007
deleted: sha256:62b4904d079487c81050aa02af125542ef79c387dd9b87381c2e33cbabf9a417
deleted: sha256:9b562ef829ba40014b069a00011de963263fee573a615728014cb88831995321
deleted: sha256:d8444e957f2dc08bfc4d32ca672f3bd0ab2a83931b74cfbe0c63c6d4c6f5142a
deleted: sha256:536e33b887674c141420a5c2333fcd0d41a526ca0ede2890ae1b5130b104777b
deleted: sha256:1a372c430e02f6208431dd6f7736d0eab6605f95cccb70f155c98ae7df51c19c
deleted: sha256:fe1f3ad0f9344834109ed9b9c03e7d15110587ac87633a14f69e66e2b16fc448
deleted: sha256:ae076a87439868b9d86453eea7180cf79af4e502e6674f81b80c42eb6279a77e
deleted: sha256:930cd4573d8e7f6160f885cf2f2fc9cd9ce3958b4f7b8b73dece0b066f2931bb
deleted: sha256:974b069d34a296f325ab6acc3089e99955714c489e35ec32a1719c528cb11beb
deleted: sha256:cf5a448fce95e798a836fd30e479e1a9089bf9476182bbf9a06e9cd171d3afe9
deleted: sha256:167e317528d7bcfed51b53747877f42934a09aca043b721353af3f97eee181a9
deleted: sha256:71b08142f1e9d97846cf2b4585dc2936b31e996666b293f9e7dda9af4d12d6de
deleted: sha256:bb1f111efa7d763dc6e118be662d3fcd7b38b0a39cc3ed88e9302653ff2ba54c
deleted: sha256:af0c07e5095da04db1ef2d84d561c0f28ddbf1b7e170d10fdbb9ff8917fae730
deleted: sha256:f24c78022d51a95ec9987586d79ea9bd79497221b7b706eafdc577e6f8114c13
deleted: sha256:f7e17292ea8ac47ccd2b688ee25a8a1fe48dbe7f7953053ef5502b03c8bc5455
deleted: sha256:8b041a98abd1446b4a9abd9aa009e27bbc5a8a7975ab386994e0b2b869c48026
deleted: sha256:3be7a0efcb66c50594548d49926b4124b7da56653366ba2f8d8d4559fb2caa96
deleted: sha256:ef57feaf635f5503f152a91e1f5ddaac116316253e1e616341b216f262835509
deleted: sha256:cc746bebfcad5650b86410b48e51320833550c3ab1bfafeb89cd54243e74880f
deleted: sha256:dec98e338326d341ae8c68c6f61e422206c65b6dab3efc6c9fe34d6c275162fc
deleted: sha256:445c3ae2e1fc214e2c4e8477ec7b8bba1e191cd52aaa1f19571e55ff23453963
deleted: sha256:7aac533a021d61638d6422b6f3a076b8ea7973eaaa169a90324d2bf82efe08f4
deleted: sha256:2315423f85aa54a0a9cfcd18c84aeaeb093619b4411a1f88c4aaf3eba7681f29
deleted: sha256:a781defc18e1f1c3b397f20aab247c9753bd09b479bf8b173aad10740f810f0b
deleted: sha256:25ada56dacc78e3725e57aeff1c09b4f771ef8abe468854a12fc80d2ad5afcf7
deleted: sha256:a9dd3fc595cea9d6e71a53e433beeeee88e2ebdd411dbed19ca46f1655f221e1
deleted: sha256:d002462e54574ccf063915be2154967590ded25be6c49b62ff13770d79c26e11
deleted: sha256:7ddc6c9b31665cd0ee0511cd8c8d08a97ab651af4cbf0709752e7793149318f9
deleted: sha256:26ac43fa31b199e8997705942f9b7f1ec708aa0a53ae73292a0c65d3d576caf4
deleted: sha256:57130375cb3042d857de10659ab0b940a0a257b65496636f89f75b6afa37d402
deleted: sha256:78411611ee60a251fc771cb7e859a37d3cf66fbe467df3fa1cdd1862fb6f404f
deleted: sha256:8e43929ceaf8e961948c8afc5abc703ef123edf06200c8741acb75013a07c923
deleted: sha256:7ab0c5a7e226f77a962f9a3fdb01ec4081ba6b304c0b3d144537a74064aef9ef
deleted: sha256:70aab15fc26ea97831ce893781baa89e33a31143d0a51299857bfc3a9610efbc
deleted: sha256:8e0ba8db88ab0c392c1bc3e916b99ad94c06cdcce88918cfb8eb87b56b6144be
deleted: sha256:c320dc041beb25719786c472026c1cd970c30adb85e19cdacd7cd6f6d5c2df62
deleted: sha256:f7158add4283da521d8fd5a2590c4ec5d83c7608eb1ac6036c27ff9854a3cf5e
deleted: sha256:25f74654a9212df0b9fa64980ae60ab31ec3c366cc055140a4f34069695a36ed
deleted: sha256:85db0e4d10dec75a8138da55c06a9ada74bebed68d2fe735fc8e6867444dd547
deleted: sha256:e8bdb8b1a51f23877388e282f0cc62371b9636c898901e32a74b103f767787ca
deleted: sha256:b0db14c82c452f689dc4a13066f849e6cf157881ede91ef3f0ba6ac031ad2f18
deleted: sha256:ab8e7bb55704a2d241033fab196b3a66164aa08e8f69543aa08ce41048f38ae7
deleted: sha256:153bf194ba49ba7d155c8b9b96c75e1e84a1de960530ea18491e60c68d4ae147
deleted: sha256:44fe9e5a5d5ad612e476a89aff1ced7f225804c95331249b4224730602c9a8a9
deleted: sha256:1433ed530471fcdc11143c889d7e80a436f13713e5a614d1b4be75a1152ca2d6
deleted: sha256:8589b8d303e13c552c980e05a14039d8fdcff63ce437029d6c38f0f3e5b396f7
deleted: sha256:518ac1686f9bfea0114dedf42794c9b354e2aa470fa096954393771d1c4d0ecc
deleted: sha256:ae66e8fbe5bd5d77df7f8b4dae291219d5b26eac64fe7b06671695895d320382
deleted: sha256:be674135827ffe5c28e04e8bdc024af756f0ce227fde2595a7ac63f18377ebf4
deleted: sha256:3147077f7534a301231f48cbe8261ea6545cc375bffcf6a174fd86bbb2acd5db
deleted: sha256:4bb464d5dd9faf31038f56f2d0da7f0b9169a88ce42b0d083346aa6005bdc071
deleted: sha256:f07f68a0ba877835d203a1a5fc486084160a5b47d9e1737087d37971838d3be9
deleted: sha256:e790863e174a1ccbf14c68c8dfbfbd60c2002897d81f8dfe8825d91315614f15
deleted: sha256:c7409fb74e5c8b14cbaf6fc5a784192c8eb0256d94a2cb92fa40ccaf4b48d344
deleted: sha256:1250242bec143dc9dd3e12afe19373422b5b8d280b824b27dc4bf2722b912012
deleted: sha256:40c249b117fd801d2c367dcd3fec9701a4b3eccd999c8cf6cb83b720ed5a2cdd
deleted: sha256:3e7fb813be9f81ad67d3c7da084086cd2aee9ccaec4dae68b86fc0e570b8869e
deleted: sha256:f3eec8df8668f9a959848a948c7cd8cc22115a7ddd787bc6c9ff1453a2152c94
deleted: sha256:09840fda664205b0fd42495230c8b490579babcd182afce707aa81f96b9bbc09
deleted: sha256:6b8b428bb2756126ce491e73f9ef62b0bede13e3cc2331ecb63d8a56f2a0b690
deleted: sha256:bd2587dee44522a6fd92b8eb8e0d5053815c8a3a3edc290875036420a25a0f4d
deleted: sha256:c9ca0fa0c350afdbb759229c5903c8271270c9bd1f2ca68b0d5387c7ee779f61
deleted: sha256:fc0f2071ac40854f6843518f497a5512324d96b7e598f0a4c23e7c7758be9a51
deleted: sha256:d3b11c05d654d0f6a3dec7d41d7a500a663a737afbcf753a3ef83021a4b16c1b
deleted: sha256:a9078ad1b06d9bb0b6c531deb533d68aa15a71131b0bf4e4a9a1bd76b70202d4
deleted: sha256:35a76df1b76d6b793ed952d9a3e0bd3474f99d0c232941d16b15cdbc5c0b253c
deleted: sha256:120462510373391feee26ee33efe82f7e1d249b9ed2e714fa84cf77214a93882
Total reclaimed space: 3.497GB
2026-07-02 08:31.38: Job succeeded