Build:
- 0
2026-05-30 10:29.33: 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-30 10:29.33: Working directory: "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0"
2026-05-30 10:29.33: Exec: "docker-compose" "-f" "compose.yml" "-p" "rocqproverorg_www_main"
"pull"
Pulling web ...
Pulling web ... done
2026-05-30 10:29.35: Working directory: "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0"
2026-05-30 10:29.35: Exec: "docker-compose" "-f" "compose.yml" "-p" "rocqproverorg_www_main"
"up" "-d" "--build" "--force-recreate"
Building web
Sending build context to Docker daemon 370.5MB
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 ff83a11b3f85
Based on commit: 6bf840b6972682d3ce115227f268863814b3ab39
Removing intermediate container ff83a11b3f85
---> 7b77c714b7ce
Step 9/44 : ENV GIT_COMMIT=${GIT_COMMIT}
---> Running in eb283e71dd85
Removing intermediate container eb283e71dd85
---> a43a7b517334
Step 10/44 : LABEL rocqproverorg=${GIT_COMMIT}
---> Running in 7c0db78f2752
Removing intermediate container 7c0db78f2752
---> 68bf2a7b3de7
Step 11/44 : ARG GIT_BRANCH
---> Running in cdcae1b29bca
Removing intermediate container cdcae1b29bca
---> f0224141133b
Step 12/44 : RUN echo "Based on branch: $GIT_BRANCH"
---> Running in 0f32435a228f
Based on branch: main
Removing intermediate container 0f32435a228f
---> e4b1a197c524
Step 13/44 : ENV GIT_BRANCH=${GIT_BRANCH}
---> Running in 2b0adf55fc59
Removing intermediate container 2b0adf55fc59
---> 8667c8f1ba0b
Step 14/44 : LABEL rocqproverorg_branch=${GIT_BRANCH}
---> Running in ad1ec6f33b01
Removing intermediate container ad1ec6f33b01
---> 179556bedfb6
Step 15/44 : COPY --chown=opam:opam . .
---> 10046bcd8b0e
Step 16/44 : RUN opam exec -- dune build @install --profile=release
---> Running in 9b0a2d859dc0
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 3508ms.
Removing intermediate container 9b0a2d859dc0
---> 4f1745a41b00
Step 17/44 : RUN git clone https://github.com/rocq-prover/opam.git rocq-opam-repository
---> Running in 8334e007c36d
Cloning into 'rocq-opam-repository'...
Updating files: 82% (3470/4226)
Updating files: 83% (3508/4226)
Updating files: 84% (3550/4226)
Updating files: 85% (3593/4226)
Updating files: 86% (3635/4226)
Updating files: 87% (3677/4226)
Updating files: 88% (3719/4226)
Updating files: 89% (3762/4226)
Updating files: 90% (3804/4226)
Updating files: 91% (3846/4226)
Updating files: 92% (3888/4226)
Updating files: 93% (3931/4226)
Updating files: 94% (3973/4226)
Updating files: 95% (4015/4226)
Updating files: 96% (4057/4226)
Updating files: 97% (4100/4226)
Updating files: 98% (4142/4226)
Updating files: 99% (4184/4226)
Updating files: 100% (4226/4226)
Updating files: 100% (4226/4226), done.
Removing intermediate container 8334e007c36d
---> e1811b3607af
Step 18/44 : RUN cd rocq-opam-repository && git checkout master && git pull origin master
---> Running in 5e269ea00349
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 5e269ea00349
---> 7082d3cb147b
Step 19/44 : ENV ROCQPROVERORG_REPO_PATH=rocq-opam-repository
---> Running in 5494da8bda76
Removing intermediate container 5494da8bda76
---> be063ba1979c
Step 20/44 : ENV ROCQPROVERORG_PKG_STATE_PATH=package.state
---> Running in a0bda220240e
Removing intermediate container a0bda220240e
---> 875824a1e9d6
Step 21/44 : RUN touch package.state && ./init-cache package.state
---> Running in fc9de7f91c9c
PID=10
Setting up watches.
Watches established.
main.exe: [INFO] State cache file: package.state
main.exe: [INFO] Package state starting from scratch
30.05.26 10:31:48.325 Running on 0.0.0.0:8080 (http://localhost:8080)
30.05.26 10:31:48.326 Type Ctrl+C to stop
30.05.26 10:31:48.702 INFO Update server state
30.05.26 10:31:48.702 INFO Opam repository is currently at 72477860ab786cf1516d7336d405c73d730fe207
30.05.26 10:31:48.702 INFO Updating opam package list
30.05.26 10:31:48.702 INFO Calculating packages.. .
30.05.26 10:31:49.861 INFO Computing additional informations...
30.05.26 10:31:49.867 INFO Dependencies...
30.05.26 10:31:49.978 INFO Reverse dependencies...
30.05.26 10:31:50.123 INFO Publication dates...
30.05.26 10:31:51.279 INFO Generate package info
30.05.26 10:31:51.527 INFO Computing packages statistics...
30.05.26 10:31:51.565 INFO Loaded 575 packages
30.05.26 10:31:51.565 INFO Package state saved
package.state CLOSE_WRITE,CLOSE
Removing intermediate container fc9de7f91c9c
---> 70ec8419baaa
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 98b390fca8ae
Based on commit: 6bf840b6972682d3ce115227f268863814b3ab39
Removing intermediate container 98b390fca8ae
---> 02a644e5229a
Step 25/44 : ENV GIT_COMMIT=${GIT_COMMIT}
---> Running in 7a547fa461a2
Removing intermediate container 7a547fa461a2
---> 6124a470e7f4
Step 26/44 : LABEL rocqproverorg=${GIT_COMMIT}
---> Running in 6cd7d930ce96
Removing intermediate container 6cd7d930ce96
---> c1b462eeb8f8
Step 27/44 : ARG GIT_BRANCH
---> Running in 6b7d0577fd49
Removing intermediate container 6b7d0577fd49
---> 7a0eba8d2773
Step 28/44 : RUN echo "Based on branch: $GIT_BRANCH"
---> Running in 412807ba9623
Based on branch: main
Removing intermediate container 412807ba9623
---> 17df5a7f453b
Step 29/44 : ENV GIT_BRANCH=${GIT_BRANCH}
---> Running in 232d8b1901a7
Removing intermediate container 232d8b1901a7
---> 9e649ea7bbd6
Step 30/44 : LABEL rocqproverorg_branch=${GIT_BRANCH}
---> Running in 6894c4a06242
Removing intermediate container 6894c4a06242
---> ba1741622315
Step 31/44 : RUN apk update && apk add --update libev gmp git
---> Running in 9c2d2166af85
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-84-g40e2a7faf90 [https://dl-cdn.alpinelinux.org/alpine/v3.20/main]
v3.20.10-84-g40e2a7faf90 [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 9c2d2166af85
---> db9a5222e61f
Step 32/44 : RUN chmod -R 755 /var
---> Running in 82b0ea5daaa0
Removing intermediate container 82b0ea5daaa0
---> bc2172d7703b
Step 33/44 : COPY --from=build /home/opam/package.state /var/package.state
---> 5de0329bdc96
Step 34/44 : COPY --from=build /home/opam/rocq-opam-repository /var/opam-repository
---> 218002dd9473
Step 35/44 : COPY --from=build /home/opam/_build/default/src/rocqproverorg_web/bin/main.exe /bin/server
---> 254b0d4203c7
Step 36/44 : COPY playground/asset playground/asset
---> 519efacdb1de
Step 37/44 : RUN git config --global --add safe.directory /var/opam-repository
---> Running in c40909eaddf6
Removing intermediate container c40909eaddf6
---> f67efb58650a
Step 38/44 : ENV ROCQPROVERORG_REPO_PATH=/var/opam-repository/
---> Running in 2e2cf627c79f
Removing intermediate container 2e2cf627c79f
---> d1e53150d25e
Step 39/44 : ENV DOC_PATH=/doc
---> Running in 77ed8cf61ce8
Removing intermediate container 77ed8cf61ce8
---> 0a91512733e7
Step 40/44 : ENV ROCQPROVERORG_PKG_STATE_PATH=/var/package.state
---> Running in 3111a27847a3
Removing intermediate container 3111a27847a3
---> 7e0e0c90da47
Step 41/44 : ENV DREAM_VERBOSITY=info
---> Running in 49791386f1d4
Removing intermediate container 49791386f1d4
---> 354af63f5b00
Step 42/44 : ENV ROCQPROVERORG_HTTP_PORT=8080
---> Running in b93e4a7bfd76
Removing intermediate container b93e4a7bfd76
---> 6e817ea86774
Step 43/44 : EXPOSE 8080
---> Running in b71a7d8fc82b
Removing intermediate container b71a7d8fc82b
---> dcbb59f26d0d
Step 44/44 : ENTRYPOINT [ "/bin/server" ]
---> Running in 05b476905a7e
Removing intermediate container 05b476905a7e
---> 5865367d68a9
Successfully built 5865367d68a9
Successfully tagged rocqproverorg_www_main_web:latest
Recreating rocqproverorg_www_main_web_1 ...
Recreating rocqproverorg_www_main_web_1 ... done
2026-05-30 10:32.23: Exec: "docker" "image" "prune" "-f" "--filter" "until=24h"
Deleted Images:
deleted: sha256:4c4a264d72417f80b59c79a81704219a7ff12ec49d63b72b4c5868f3ad826c59
deleted: sha256:e4cbc9a1ef121bcf5c34c8ea01d46296834e83e6e84d711c5574ffe28f15231f
deleted: sha256:735768adda7c4f740a2323edf25601f198646b8dabc2ee5bf01269c4df58f26d
deleted: sha256:8c0f4c92f87e5958ffb02678decbf764d4966b0afaef7cba301789c587b03bae
deleted: sha256:b39cb167015d36c3b9ae6c5bfe9412bd56bcfda616f6ea170ddceb918a73b8b2
deleted: sha256:8d974494bec86b70fbbfca8e74f2df8d0c325504b8436663578279ae416d0611
deleted: sha256:b7e4a7a4a4f9f1ee808902767e8018a0b6e32d9f59a3b54f3cb1804c5e8d6281
deleted: sha256:b4f32dbe22d3dd5475809fd255f2afe66b6de0d466a113a19acf7fe6b43231ba
deleted: sha256:cc97f448f8bebe9ee335f1b0370068301d08ef482062a0dfa68b943158e89b65
deleted: sha256:bb9d42890e5ab805707450b67ee9c8280d30e0bbadafd652f713d3d4d6daa27c
deleted: sha256:71f083b8fc2ae2dc5bb478271bbbc9e8729b1239ce2e47f89a44b007c4274647
deleted: sha256:8df73a4bb69ddb0d47891ce8dc6512ecc18407753f485b7a703428d952f66d11
deleted: sha256:2546f719eda4534c3d5d7d485c4fd809274d724269e9f431fc8cd696452c8da2
deleted: sha256:7859caff132ba67233b02ea0cd2b29e88e6fd8b75c177149a11953a35aed4a39
deleted: sha256:9d935fd64f8466b8264ecbf3c8dc3fc0a899a29210a34d3212f498b12c0b8ff7
deleted: sha256:a61428721b1e6592693c4e2f5a12d58205fa9b79e98e936d33b39b14d0ab0fb3
deleted: sha256:102c2c5769ba472d4d8873612a353ab278917189e56131c94cd7d6654436895a
deleted: sha256:bb2044beec00d411896cc830a8e271c7ec5e5c8b1a385c61cdfa79b0a36ec2da
deleted: sha256:19cbd2c11b1dd5ffd821f6fb98e3effc313be0b0e2dd308d4696b0ee15a662c7
deleted: sha256:d069bd41d7e80f6c76d589132b2a30c86ca20062e84705b41d9f4d9b12760080
deleted: sha256:2aa6c31ddd27bfb7548b91ce5d484c0fdb73ee791d5c62e49253d3a62cd5377a
deleted: sha256:71b50b9fc34f698b750d0ecb9ab57b4a1abaa69a0353dd8f435164a5e03b1e63
deleted: sha256:0c67dcac9ffc05b678a50f2b3fa641ddfe7c8571900c35fa507375f5c1258b6c
deleted: sha256:69b4828865d6561bc63a9a5bce76bc8d63ef825d654187fb6f5315f2c0809456
deleted: sha256:ca1f2f607a3cc6cb59ed075ce7a14cf5184956baeaaef6eaadfc9db31c6cb50a
deleted: sha256:d9cf178fa7a05650c50827fd959b9a6f02c75c78baaeae4a4408bee280ca733e
deleted: sha256:9c4bda5b55fed672c717f5b99bb829998f35504eadc9eb04da37919b42cf80e0
deleted: sha256:ba0626aa69ebaf67c972e2beb348c3736ba5108bbd24a096275019807404e9ba
deleted: sha256:37e7be6385283674a07f4ed609df60f0a462e76cbadf361e3564344bd17b724a
deleted: sha256:df07179c982d2dc469f9041d934fb8b65d536736f88daf10585edd896c3d5fe3
deleted: sha256:c9ebe6d5bfc7058082557a1430a35da3e169889458701e6be996719dd2137586
deleted: sha256:32d5a8797fd35fe910877bba4855308175ae68f9cc97f10de4836d0a23f6c2c0
deleted: sha256:4d251865e2a2996544e7f99f399031f28fd7842e10b4c6d8fc6d596e05d4b2d4
deleted: sha256:693fdb771a881d439e8a839108b83a5e7de3df04b11d716ff7b015cb645be7b2
deleted: sha256:307fd4ac1f94fb4d39a115b50e67094d6d95ea9c11cd52c3f72967f036475ef8
deleted: sha256:0f62ac57285a5f6643d09dec417a896cc92c9fdf34e1010154ad429cbc0b47a3
deleted: sha256:77432f0a0e68861254c4cc1cd0b3d443cb6bd905bb817fa0e03486584b053103
deleted: sha256:8b527c2569582f9395fc5582f24425a62a18721b793b9cdd6c8c960f57c1b76f
deleted: sha256:4d84a978f26ba0ee8e00ce81494ceb5d55ccfae2ed65034c7421a0948d324561
deleted: sha256:ae84fb929419a24cbe25c01321973a6d30caac4c5ffaa86c35af5e29a14ba92d
deleted: sha256:1ab3eabf3a2716bd6684e75e64407b5bc3575874e5274e42abc951bfda612890
deleted: sha256:9263b000ecb2b942b5d03ebb83812ffe71eae2f025b352d17d79da0872330664
deleted: sha256:cacd69a2d81ee7b6b49c7c58256ad845115129b547a24fd273d5d926b72b47ad
deleted: sha256:7dc8ad647be4110af5023f91bc4d3236e4070ea322fbd2118d1a1ca337766588
deleted: sha256:2e9716953f984d5af445135890c2d228f475052a0f18068c22e284b9434f1aec
deleted: sha256:c0291348d0e33c2d0b171c59e6f0a6f9bb3370daa9d3ac1f68e63b657bb4dd3b
deleted: sha256:a988529fa8542360733502f20fc610ad0060790bc773e11c7a52dd4cf2111ee6
Total reclaimed space: 1.757GB
2026-05-30 10:32.34: Job succeeded