2026-06-22 11:30.30: 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-06-22 11:30.30: Working directory: "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0"
2026-06-22 11:30.30: Exec: "docker-compose" "-f" "compose.yml" "-p" "rocqproverorg_www_main" 
                           "pull"
Pulling web ... 
Pulling web ... done
2026-06-22 11:30.37: Working directory: "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0"
2026-06-22 11:30.37: Exec: "docker-compose" "-f" "compose.yml" "-p" "rocqproverorg_www_main" 
                           "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 b5444ab6a218
Based on commit: bb6b01515df9c06c2e5b31a295f366fb3d439b86
Removing intermediate container b5444ab6a218
 ---> 3147077f7534
Step 9/44 : ENV GIT_COMMIT=${GIT_COMMIT}
 ---> Running in c41e08318f71
Removing intermediate container c41e08318f71
 ---> be674135827f
Step 10/44 : LABEL rocqproverorg=${GIT_COMMIT}
 ---> Running in 08075c3e3c52
Removing intermediate container 08075c3e3c52
 ---> ae66e8fbe5bd
Step 11/44 : ARG GIT_BRANCH
 ---> Running in 9c1ff9dbe39e
Removing intermediate container 9c1ff9dbe39e
 ---> 518ac1686f9b
Step 12/44 : RUN echo "Based on branch: $GIT_BRANCH"
 ---> Running in 7d267d3b579e
Based on branch: main
Removing intermediate container 7d267d3b579e
 ---> 8589b8d303e1
Step 13/44 : ENV GIT_BRANCH=${GIT_BRANCH}
 ---> Running in 1dca3032aedc
Removing intermediate container 1dca3032aedc
 ---> 1433ed530471
Step 14/44 : LABEL rocqproverorg_branch=${GIT_BRANCH}
 ---> Running in c8c59928d201
Removing intermediate container c8c59928d201
 ---> 44fe9e5a5d5a
Step 15/44 : COPY --chown=opam:opam . .
 ---> ab8e7bb55704
Step 16/44 : RUN opam exec -- dune build @install --profile=release
 ---> Running in 7640257482ec
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 3193ms.
Removing intermediate container 7640257482ec
 ---> e8bdb8b1a51f
Step 17/44 : RUN git clone https://github.com/rocq-prover/opam.git rocq-opam-repository
 ---> Running in b1cca0da5f89
Cloning into 'rocq-opam-repository'...
Updating files:  94% (4015/4242)
Updating files:  95% (4030/4242)
Updating files:  96% (4073/4242)
Updating files:  97% (4115/4242)
Updating files:  98% (4158/4242)
Updating files:  99% (4200/4242)
Updating files: 100% (4242/4242)
Updating files: 100% (4242/4242), done.
Removing intermediate container b1cca0da5f89
 ---> 25f74654a921
Step 18/44 : RUN cd rocq-opam-repository && git checkout master && git pull origin master
 ---> Running in ea667a1f53fd
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 ea667a1f53fd
 ---> c320dc041beb
Step 19/44 : ENV ROCQPROVERORG_REPO_PATH=rocq-opam-repository
 ---> Running in d45a7c789c24
Removing intermediate container d45a7c789c24
 ---> 8e0ba8db88ab
Step 20/44 : ENV ROCQPROVERORG_PKG_STATE_PATH=package.state
 ---> Running in 7c8263d9a377
Removing intermediate container 7c8263d9a377
 ---> 70aab15fc26e
Step 21/44 : RUN touch package.state && ./init-cache package.state
 ---> Running in f7aa041847ef
PID=10
Setting up watches.
Watches established.
main.exe: [INFO] State cache file: package.state
main.exe: [INFO] Package state starting from scratch
22.06.26 11:33:32.717                       Running on 0.0.0.0:8080 (http://localhost:8080)
22.06.26 11:33:32.717                       Type Ctrl+C to stop
22.06.26 11:33:33.085                  INFO Update server state
22.06.26 11:33:33.085                  INFO Opam repository is currently at cda03bfafe88971a82c7f32c8a9bb69cfbf51176
22.06.26 11:33:33.085                  INFO Updating opam package list
22.06.26 11:33:33.085                  INFO Calculating packages.. .
22.06.26 11:33:34.200                  INFO Computing additional informations...
22.06.26 11:33:34.205                  INFO Dependencies...
22.06.26 11:33:34.313                  INFO Reverse dependencies...
22.06.26 11:33:34.458                  INFO Publication dates...
22.06.26 11:33:35.858                  INFO Generate package info
22.06.26 11:33:36.117                  INFO Computing packages statistics...
22.06.26 11:33:36.156                  INFO Loaded 575 packages
22.06.26 11:33:36.156                  INFO Package state saved
package.state CLOSE_WRITE,CLOSE 
Removing intermediate container f7aa041847ef
 ---> 8e43929ceaf8
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 267d8119ad83
Based on commit: bb6b01515df9c06c2e5b31a295f366fb3d439b86
Removing intermediate container 267d8119ad83
 ---> 0d08d9206445
Step 25/44 : ENV GIT_COMMIT=${GIT_COMMIT}
 ---> Running in 27136d02156b
Removing intermediate container 27136d02156b
 ---> 3b35e21533a4
Step 26/44 : LABEL rocqproverorg=${GIT_COMMIT}
 ---> Running in d053d12699f3
Removing intermediate container d053d12699f3
 ---> 43f24558f813
Step 27/44 : ARG GIT_BRANCH
 ---> Running in f8719a3f965f
Removing intermediate container f8719a3f965f
 ---> c13316a31430
Step 28/44 : RUN echo "Based on branch: $GIT_BRANCH"
 ---> Running in 652c4b480d87
Based on branch: main
Removing intermediate container 652c4b480d87
 ---> 5eb3e40ad195
Step 29/44 : ENV GIT_BRANCH=${GIT_BRANCH}
 ---> Running in d89f4ae5a1b8
Removing intermediate container d89f4ae5a1b8
 ---> 4300759e8b5c
Step 30/44 : LABEL rocqproverorg_branch=${GIT_BRANCH}
 ---> Running in f9777dd68b1c
Removing intermediate container f9777dd68b1c
 ---> cbc94fe3a859
Step 31/44 : RUN apk update && apk add --update libev gmp git
 ---> Running in c77059b83814
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-102-g69b5562bfde [https://dl-cdn.alpinelinux.org/alpine/v3.20/main]
v3.20.10-99-g311f651a13b [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 c77059b83814
 ---> 8ad3d7e8c8f6
Step 32/44 : RUN chmod -R 755 /var
 ---> Running in c52a93fe615f
Removing intermediate container c52a93fe615f
 ---> 71df7a48b7e2
Step 33/44 : COPY --from=build /home/opam/package.state /var/package.state
 ---> 85efb40b241a
Step 34/44 : COPY --from=build /home/opam/rocq-opam-repository /var/opam-repository
 ---> 2dccf5f3d66b
Step 35/44 : COPY --from=build /home/opam/_build/default/src/rocqproverorg_web/bin/main.exe /bin/server
 ---> 1da801ae32ac
Step 36/44 : COPY playground/asset playground/asset
 ---> 5f6fbfbd36d8
Step 37/44 : RUN git config --global --add safe.directory /var/opam-repository
 ---> Running in 6643f60efd97
Removing intermediate container 6643f60efd97
 ---> c2a1cba8eeee
Step 38/44 : ENV ROCQPROVERORG_REPO_PATH=/var/opam-repository/
 ---> Running in 1f1485141368
Removing intermediate container 1f1485141368
 ---> 2d18ccb2d220
Step 39/44 : ENV DOC_PATH=/doc
 ---> Running in bd3b6bcf815e
Removing intermediate container bd3b6bcf815e
 ---> 34a202281fe3
Step 40/44 : ENV ROCQPROVERORG_PKG_STATE_PATH=/var/package.state
 ---> Running in 85eda9b6695f
Removing intermediate container 85eda9b6695f
 ---> 00ffd6314efa
Step 41/44 : ENV DREAM_VERBOSITY=info
 ---> Running in 57bfb875213e
Removing intermediate container 57bfb875213e
 ---> 26b6fde4a767
Step 42/44 : ENV ROCQPROVERORG_HTTP_PORT=8080
 ---> Running in 9202822777ea
Removing intermediate container 9202822777ea
 ---> 8bbb7e415606
Step 43/44 : EXPOSE 8080
 ---> Running in 275353ca3e0d
Removing intermediate container 275353ca3e0d
 ---> 47e7eb5f34ef
Step 44/44 : ENTRYPOINT [ "/bin/server" ]
 ---> Running in 9b725521f959
Removing intermediate container 9b725521f959
 ---> b754f9d7842a
Successfully built b754f9d7842a
Successfully tagged rocqproverorg_www_main_web:latest
Recreating rocqproverorg_www_main_web_1 ... 
Recreating rocqproverorg_www_main_web_1 ... done
2026-06-22 11:34.09: Exec: "docker" "image" "prune" "-f" "--filter" "until=24h"
Deleted Images:
deleted: sha256:7c78a619a7d5042223c972df87cd12c74d39021d77a5b47694399a2f686cf29f
deleted: sha256:fceb16cadd211743c0f2cb5b0e3a96834b37bcb0864148c90dc97aeccee778df
deleted: sha256:015066ed9742e528d4ba4cc580e43ac338b26d4fd47c87c2f50acbd00e7ab830
deleted: sha256:01058234f8bdc8698f4ed9f7c5f041d741c486d0323aab0f13b03479c6862b03
deleted: sha256:8864ea47924326ce80e3757c1fd917cabc0da519bc93842bc100a0f39ce3d52b
deleted: sha256:207d45743d21307ca426326ccaed5425180314ca5f2694ed21e5437394dac3bc
deleted: sha256:47064b179e82061746fc6de19a2d4543d035198ff0ffeb1604ae9c759ba661e8
deleted: sha256:dbc76c164f516d6d916d036f6ac98343d36a72a82a6fc2d8b6d7e1355841927d
deleted: sha256:fc49ae4845270259fae4e49ca51245fd3f41ca72c686376b7c6fc6684f2371b9
deleted: sha256:39e6b8b0dc2909f7261e57415c9a9f2978036ecddbe5d62dce34073dcd8920bb
deleted: sha256:ef44d086c72933eda3a4a9be7701c772d4f59bfb209d1c20985b45444c1f8abf
deleted: sha256:b56b68c5e622db49520936f38e05f8dc0ee9e5d90c2e4bd5ecac7ea19ad46142
deleted: sha256:e6648be9f2fe77b63f999b3056120a98a2870cc4d56a11db1e38cd4468163237
deleted: sha256:b40960b4c9fbe4c7def689fb0ebf5527421ae235d66c5d0bf230439a4192087c
deleted: sha256:67b72ca8af328a97c8353edc7588119061a2950c803a0fe6d69beb889c61ad83
deleted: sha256:b88cb1064a510316aeebf59024c8c16ec0959e1fc6880ba4216a88dcb80e4bd1
deleted: sha256:79730458b9dddcddc47f35f300a7e369a974e8944b71c961d0c4f78a39234def
deleted: sha256:dc54d87a75c60491eec61594bdb839d7bd900bd605c18816cbdd2158e06223ad
deleted: sha256:fd20f6d7c13725a280a3b35c0874cb24a08c720925f501891e54e9bad9e18538
deleted: sha256:36fc2f1b29502a180f5a9946c3915965c63c095b0741ac2a321a03a04e28de44
deleted: sha256:91f2ecc40a0dbd7038d8138690c2c3332ef5783e578e0e068cf71fcfbe4e6a94
deleted: sha256:af4569d661ce0869ef0097dd7a4ccae5c99d1a7af87a2289b0a950a579106955
deleted: sha256:67ad0d470329cc67b8d8ada3b4520b7c258216cd41e37fdc932610b4835520fb
deleted: sha256:25b970b19451715819a31eb552e33df02c21df59cefef9f2a2d77125e27d88f2
deleted: sha256:6e8abeb1dbf01d8c20b2b4fe61860ddabf6fa361a4d1e8945385355ffac10c4e
deleted: sha256:cca941fcdd8d10b4eae2f78701b62e44e937283a36f75bca37d5727419d7feb0
deleted: sha256:cfef4961c3e7a96766b860a57dea9cdcd82e1be24f2bff126c9c5f772023a57d
deleted: sha256:9dec8fb5dcee7314bee57719604f93319872815921e01107e4920da78f67373f
deleted: sha256:6c4f47db98e4da684d994b1101c9ca2418709cc322725284f6d0a9a43f9ee845
deleted: sha256:cec55d846aefc6551bdeed3033e8c31601c13de0aca62e160b39d349c37d58f6
deleted: sha256:f8abe5460fd76cf907d3e63efac818c92b6e82814dc68e5a3ef3596a0581fe49
deleted: sha256:dd57de8a9c81f0366963520213e93352b4ed6149d1dbe71a907736cf444478c2
deleted: sha256:662466984874605f3bc30d5d1d68dd5ab72c2ea1cbdb56d7bb7a2efb74dde04b
deleted: sha256:7c6c9fde35a9789d8da5bdc3ad0e81f29d4b34336a29f68efa99c327889d2678
deleted: sha256:423a5c4c266e053cd6290757c05acb1fba046428ef2a1280db92bd988143be0e
deleted: sha256:8479caf9f36ba029996975a00892bf6830f40623cc0cbb5d9000ac6fa072b742
deleted: sha256:2e15aca906504812dabb45bb6a1dc1e5f2f4a0ecb43ef7ca471689324f4a7750
deleted: sha256:60ff630900cf557c239a693d5192b708b4f898c9db634e3a273f332e0522f0c4
deleted: sha256:b4b1d35315f36d9a411f27535fb754f8a51e5f9db4a71822b37db9085602eba8
deleted: sha256:6771dd6eed5fe11a2f6b90ae70571ad88f657190da50f41e3ffca49f2663aef9
deleted: sha256:66cea83a8423155360a15752ffb19d8ed98c323bca0dd40133c466743e551fdd
deleted: sha256:4072fbe0efc66983a087cac44199374e5e44daff799a364d4341ae49e0abdb91
deleted: sha256:8bb0d94833c1f7b1a8fcb46f871b7fa32decade20fd54066a23e3af10f002870
deleted: sha256:5fb65ad1e8a6edffe74a9b4831527686a29552fa7aff4c72b95c0bcf09518911
deleted: sha256:ee8e0bfa10890278d07576cfffe6dd1e20721942d49aa96cf436e23e52e2e6f0
deleted: sha256:93cee17beae57d8d9e436852d525d1c141da698bd65e75e3290fa465103f7f40
deleted: sha256:a0ba628843f08b5361683a728f6378ca5c79af5604e35393c9d5d54c1e7eff01

Total reclaimed space: 1.758GB
2026-06-22 11:34.24: Job succeeded