2026-05-18 08:58.10: 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-18 08:58.10: Working directory: "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0"
2026-05-18 08:58.10: Exec: "docker-compose" "-f" "compose.yml" "-p" "rocqproverorg_www_main" 
                           "pull"
Pulling web ... 
Pulling web ... done
2026-05-18 08:58.15: Working directory: "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0"
2026-05-18 08:58.15: Exec: "docker-compose" "-f" "compose.yml" "-p" "rocqproverorg_www_main" 
                           "up" "-d" "--build" "--force-recreate"
Building web
Sending build context to Docker daemon  370.3MB

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 a1169d0cbb28
Based on commit: b2416d35ea326d0ab4563b5ecf7510b0b6fe0940
Removing intermediate container a1169d0cbb28
 ---> 86f6ba96ed27
Step 9/44 : ENV GIT_COMMIT=${GIT_COMMIT}
 ---> Running in 9e891abcf2c0
Removing intermediate container 9e891abcf2c0
 ---> 4505edcbdfe7
Step 10/44 : LABEL rocqproverorg=${GIT_COMMIT}
 ---> Running in 99400ae26af0
Removing intermediate container 99400ae26af0
 ---> af03addd602c
Step 11/44 : ARG GIT_BRANCH
 ---> Running in 4a52c197355b
Removing intermediate container 4a52c197355b
 ---> 6aa4d79d34b5
Step 12/44 : RUN echo "Based on branch: $GIT_BRANCH"
 ---> Running in a9a0f8b982f6
Based on branch: main
Removing intermediate container a9a0f8b982f6
 ---> 45c032fcafc2
Step 13/44 : ENV GIT_BRANCH=${GIT_BRANCH}
 ---> Running in 77425c84680e
Removing intermediate container 77425c84680e
 ---> 4476b1ca9399
Step 14/44 : LABEL rocqproverorg_branch=${GIT_BRANCH}
 ---> Running in 220ccd158bb5
Removing intermediate container 220ccd158bb5
 ---> b77473a6eb87
Step 15/44 : COPY --chown=opam:opam . .
 ---> c83ad6c05088
Step 16/44 : RUN opam exec -- dune build @install --profile=release
 ---> Running in f8f0150c504e
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 7171ms.
Removing intermediate container f8f0150c504e
 ---> d6d88761cea3
Step 17/44 : RUN git clone https://github.com/rocq-prover/opam.git rocq-opam-repository
 ---> Running in cd5793ee6dea
Cloning into 'rocq-opam-repository'...
Updating files:  57% (2419/4216)
Updating files:  58% (2446/4216)
Updating files:  59% (2488/4216)
Updating files:  60% (2530/4216)
Updating files:  61% (2572/4216)
Updating files:  62% (2614/4216)
Updating files:  63% (2657/4216)
Updating files:  64% (2699/4216)
Updating files:  65% (2741/4216)
Updating files:  66% (2783/4216)
Updating files:  67% (2825/4216)
Updating files:  68% (2867/4216)
Updating files:  69% (2910/4216)
Updating files:  70% (2952/4216)
Updating files:  71% (2994/4216)
Updating files:  72% (3036/4216)
Updating files:  73% (3078/4216)
Updating files:  74% (3120/4216)
Updating files:  75% (3162/4216)
Updating files:  76% (3205/4216)
Updating files:  77% (3247/4216)
Updating files:  78% (3289/4216)
Updating files:  79% (3331/4216)
Updating files:  80% (3373/4216)
Updating files:  81% (3415/4216)
Updating files:  82% (3458/4216)
Updating files:  83% (3500/4216)
Updating files:  84% (3542/4216)
Updating files:  85% (3584/4216)
Updating files:  86% (3626/4216)
Updating files:  87% (3668/4216)
Updating files:  88% (3711/4216)
Updating files:  89% (3753/4216)
Updating files:  90% (3795/4216)
Updating files:  91% (3837/4216)
Updating files:  92% (3879/4216)
Updating files:  93% (3921/4216)
Updating files:  94% (3964/4216)
Updating files:  95% (4006/4216)
Updating files:  96% (4048/4216)
Updating files:  97% (4090/4216)
Updating files:  98% (4132/4216)
Updating files:  99% (4174/4216)
Updating files: 100% (4216/4216)
Updating files: 100% (4216/4216), done.
Removing intermediate container cd5793ee6dea
 ---> 4181fb89d4e4
Step 18/44 : RUN cd rocq-opam-repository && git checkout master && git pull origin master
 ---> Running in a4f9e0297710
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 a4f9e0297710
 ---> 981e43d919cc
Step 19/44 : ENV ROCQPROVERORG_REPO_PATH=rocq-opam-repository
 ---> Running in b6fe2b3a87d2
Removing intermediate container b6fe2b3a87d2
 ---> c63677587443
Step 20/44 : ENV ROCQPROVERORG_PKG_STATE_PATH=package.state
 ---> Running in 1e864567a0b1
Removing intermediate container 1e864567a0b1
 ---> e9fd6d126f1c
Step 21/44 : RUN touch package.state && ./init-cache package.state
 ---> Running in f193777d3228
PID=10
Setting up watches.
Watches established.
main.exe: [INFO] State cache file: package.state
main.exe: [INFO] Package state starting from scratch
18.05.26 09:02:08.614                       Running on 0.0.0.0:8080 (http://localhost:8080)
18.05.26 09:02:08.614                       Type Ctrl+C to stop
18.05.26 09:02:09.072                  INFO Update server state
18.05.26 09:02:09.072                  INFO Opam repository is currently at 424025815c9e4af2929938165acb3ed21eb7e0e7
18.05.26 09:02:09.072                  INFO Updating opam package list
18.05.26 09:02:09.072                  INFO Calculating packages.. .
18.05.26 09:02:09.981                  INFO Computing additional informations...
18.05.26 09:02:09.987                  INFO Dependencies...
18.05.26 09:02:10.098                  INFO Reverse dependencies...
18.05.26 09:02:10.227                  INFO Publication dates...
18.05.26 09:02:11.167                  INFO Generate package info
18.05.26 09:02:11.366                  INFO Computing packages statistics...
18.05.26 09:02:11.409                  INFO Loaded 574 packages
18.05.26 09:02:11.409                  INFO Package state saved
package.state CLOSE_WRITE,CLOSE 
Removing intermediate container f193777d3228
 ---> 5b287d48ae80
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 8edc80c95d9a
Based on commit: b2416d35ea326d0ab4563b5ecf7510b0b6fe0940
Removing intermediate container 8edc80c95d9a
 ---> 03e1fccab88f
Step 25/44 : ENV GIT_COMMIT=${GIT_COMMIT}
 ---> Running in 582ea8dade53
Removing intermediate container 582ea8dade53
 ---> 181ea5d081df
Step 26/44 : LABEL rocqproverorg=${GIT_COMMIT}
 ---> Running in 591988460b70
Removing intermediate container 591988460b70
 ---> 8259e5c4267f
Step 27/44 : ARG GIT_BRANCH
 ---> Running in 9e2a8c1fd69e
Removing intermediate container 9e2a8c1fd69e
 ---> 387822a2b825
Step 28/44 : RUN echo "Based on branch: $GIT_BRANCH"
 ---> Running in ca778c977a4c
Based on branch: main
Removing intermediate container ca778c977a4c
 ---> 91abccd9669c
Step 29/44 : ENV GIT_BRANCH=${GIT_BRANCH}
 ---> Running in 9d4f1f27902e
Removing intermediate container 9d4f1f27902e
 ---> 4edec559d258
Step 30/44 : LABEL rocqproverorg_branch=${GIT_BRANCH}
 ---> Running in 51b003ba248c
Removing intermediate container 51b003ba248c
 ---> 3fbd237b2dba
Step 31/44 : RUN apk update && apk add --update libev gmp git
 ---> Running in f1738acc44c6
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-62-gd1310cb16e0 [https://dl-cdn.alpinelinux.org/alpine/v3.20/main]
v3.20.10-60-g6f02df600c4 [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 f1738acc44c6
 ---> 9d9759fcdfe5
Step 32/44 : RUN chmod -R 755 /var
 ---> Running in 65fbdf8338eb
Removing intermediate container 65fbdf8338eb
 ---> e64d13a50a76
Step 33/44 : COPY --from=build /home/opam/package.state /var/package.state
 ---> 2a63e7ebcde0
Step 34/44 : COPY --from=build /home/opam/rocq-opam-repository /var/opam-repository
 ---> 94365ceac801
Step 35/44 : COPY --from=build /home/opam/_build/default/src/rocqproverorg_web/bin/main.exe /bin/server
 ---> b5d83a72db7a
Step 36/44 : COPY playground/asset playground/asset
 ---> 264e1f5c6217
Step 37/44 : RUN git config --global --add safe.directory /var/opam-repository
 ---> Running in 549b1dc089cb
Removing intermediate container 549b1dc089cb
 ---> e338358663e8
Step 38/44 : ENV ROCQPROVERORG_REPO_PATH=/var/opam-repository/
 ---> Running in 13084d8a3d34
Removing intermediate container 13084d8a3d34
 ---> d6388ef45c59
Step 39/44 : ENV DOC_PATH=/doc
 ---> Running in f597ecb1a0e8
Removing intermediate container f597ecb1a0e8
 ---> bb285880a414
Step 40/44 : ENV ROCQPROVERORG_PKG_STATE_PATH=/var/package.state
 ---> Running in 3aa52887f6b7
Removing intermediate container 3aa52887f6b7
 ---> 06ceeb2b62b7
Step 41/44 : ENV DREAM_VERBOSITY=info
 ---> Running in 82e32c677824
Removing intermediate container 82e32c677824
 ---> 9c2649c4ad5c
Step 42/44 : ENV ROCQPROVERORG_HTTP_PORT=8080
 ---> Running in 7e3f74d62904
Removing intermediate container 7e3f74d62904
 ---> d411db073256
Step 43/44 : EXPOSE 8080
 ---> Running in acc927e57cca
Removing intermediate container acc927e57cca
 ---> 8547fc7a4c3f
Step 44/44 : ENTRYPOINT [ "/bin/server" ]
 ---> Running in 918abb785216
Removing intermediate container 918abb785216
 ---> 2617ecf968a5
Successfully built 2617ecf968a5
Successfully tagged rocqproverorg_www_main_web:latest
Recreating rocqproverorg_www_main_web_1 ... 
Recreating rocqproverorg_www_main_web_1 ... done
2026-05-18 09:02.49: Exec: "docker" "image" "prune" "-f" "--filter" "until=24h"
Deleted Images:
deleted: sha256:2cadf7abb7ace6fb1d4593899302a2eac6b8ee3d86b15d82eb305915a7c9b6d3
deleted: sha256:fe20724c0faa3c2ec742cdd1b6906063a2bb65ec381fc56c694732ebaa0810aa
deleted: sha256:d4df27757808d00f02bf9437c95f40c7b1a37455f41ef0c2c29c54600614daa4
deleted: sha256:d80034d2a793810117e3ce1f3b95c5c37e42c51b8f455e76488f4ddba4d5579b
deleted: sha256:9f7864a22756d082f63c7883603fcee74c85349032c5b4dfd3d800e1fa7d2a04
deleted: sha256:ba386a00ec29c7457c37141b92ea25efd5191f58d515a16930ee0cb6ea5f822e
deleted: sha256:077c25834087dea9f01995bde6815af9edd4fd857829a72b641ad90de6594d43
deleted: sha256:e50fb7698dd52eef4e03b0e0da3d9eb010fa6563f1cec78926cfc4ffbb4a3b6c
deleted: sha256:08828e10b6c4268d8820d5a09493e0da665775f71f915766dd188c7d057f330c
deleted: sha256:11b053bf5eb2ff3a32d03e42a62c8412a8baf6dbc567edf4d5e6cb9b21b0a789
deleted: sha256:cca6c24ab431844f117fa695b1fe87d0a9b50e3184ce9bb83613ab3ce37ef8d8
deleted: sha256:e8a3ada02f601fa070056da75747c01e9079a0a98d152092fd39d1f61e85b2b0
deleted: sha256:0636233c5d8cf9007cc5026240a544cb299562ed7e91ea30ecab1936aa373ea6
deleted: sha256:ff43cf0ca398edb497d3351ec3b09bab60cfffcebf62041727adf7205a30c984
deleted: sha256:bcab2056e36a02e10613cb594dd273d1f4a415e3400e4a04682de2c93cfbe7f4
deleted: sha256:27039c8fdf19c9d5d54780ed03bbae7758fb4c0c2598e825f173b42b9b739f9f
deleted: sha256:aca4be0598cee9cfbb4daeed4b05023a1d231af179a30a8a4fbeafa79e30be7f
deleted: sha256:d2d3559cfa8403b0cdcff96de0d6fabdc06780a1cfcba301dc7c0737ac27d782
deleted: sha256:6f6e95215ccd39602d21c7b6fc412c224627b39bc6ab4213c603963945b07745
deleted: sha256:c0af20ba8fb0a09a978d2ecfef48f657c1a1539d11f02b5b04e7cb2f444d781c
deleted: sha256:0e46e8f1bacc715e0f3fab98a06600aa78fdee6ba92d3b2d325b922e37fd2bc1
deleted: sha256:81a71ffa89aafad8e72ea5d82f08bb41e3a394857057559d93ddbdd03315ddf7
deleted: sha256:2c3ad1f312e55f961aee87096a83fda02a423f1a40b6f8c9a6dffde64154d4c8
deleted: sha256:d9e3236214b867ea3eae8317e540bb2938dca5701542c6f30d0a51441243be67
deleted: sha256:8029b854a9093bc2894943d82775d74fe73b46086f5f7a4438f61a87fa34d5ab
deleted: sha256:7b9de00525a656db5459e77cea3d9b0786085be4921ffd3aa3d8feaf8ebc3c95
deleted: sha256:a38e2c1c2ea2c2503323d85227d1fbc8f4f2cbbb1a8c04388e7e3b04d7ef6096
deleted: sha256:42b2abb209c2246d83ca156c4c0246d733ff9b24792812ce97b3607dddc15cb6
deleted: sha256:ec87506729bee2157df985c9799187a4e6c566ca8722366b19e23171a5cd7ae3
deleted: sha256:03efe8d8475eeaad67e0dd69b020103930cf7b713dfd1b989e6f9ead8f36fef3
deleted: sha256:8cab205699559764cd8d64cdd10fd6974eda1cef0e7763773088fad0fa47d04e
deleted: sha256:f6d4676f745f66a8859dbe491bede85bc583136aef07c7344f0db96a716679b5
deleted: sha256:6a499a2137daad8ed0e56fb2b2cf092135aa1111a4a10408ada8a63d9b2db634
deleted: sha256:c0bf135732204c80ec0a6bddf9aeb9f8b47b45f702fb9321dde5471afeb8edcf
deleted: sha256:857b59209d33918131d3c7dd0c9a9bde01fb94446b3524471220250e3bfd70d5
deleted: sha256:3b9ff687871ed9f88e355170dea57acf66b33eed77c8a1313017a105e01ac90e
deleted: sha256:cc7eb394c5ff5ccbab084f03dbd6439bff27bf2b810ec9a45f0f6036e5817721
deleted: sha256:1e31eaefe807d730613a2d54e2ac92158cff05a6d8ce62b4a096e427fe370398
deleted: sha256:07f07af4fd8e154873803e69e2612b5a69fe2e7440876fc7ab15ddb4ff496b49
deleted: sha256:15a8ee55e09a007a51717284c9e0098ce79a9ee55e09923e327ca0141977a0fe
deleted: sha256:339f71419c669fa4e73ecd7bd943ed9e0b2668d228f661d053cd94588243fa6c
deleted: sha256:cef031c7e5f85f845c8c0eb8951231d9a725efee0a5ef1bc4c0ea4f0bf29e64d
deleted: sha256:feda006f628aa6ffc8e6d1377af146b90533a0ea64c55061989e220b5ab27375
deleted: sha256:33d19b4f7787abd879a59804f16cc967cf148bb13bb5cb302459717559c90ebd
deleted: sha256:6b92459f9e8638902118577592727101d68a84028dbae7bc79b3968a696284ba
deleted: sha256:93b2224145eca94e22006e34affec8b570f6ec1442b0a4c0f6637b57a20dedbe
deleted: sha256:854d424a7b9458b1406f3a272e2acf01e59bd5fc711ba1745c0615116bf5f748

Total reclaimed space: 1.757GB
2026-05-18 09:03.08: Job succeeded