2026-06-15 09:07.17: 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-15 09:07.17: Working directory: "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0"
2026-06-15 09:07.17: Exec: "docker-compose" "-f" "compose.yml" "-p" "rocqproverorg_www_main" 
                           "pull"
Pulling web ... 
Pulling web ... done
2026-06-15 09:07.22: Working directory: "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0"
2026-06-15 09:07.22: 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 db13e4a7b5ee
Based on commit: 8d6ef8bbf014b15afee6fca80480a8a9e4c22bfa
Removing intermediate container db13e4a7b5ee
 ---> a43a57f6118f
Step 9/44 : ENV GIT_COMMIT=${GIT_COMMIT}
 ---> Running in bd49af2407ae
Removing intermediate container bd49af2407ae
 ---> 8948fbb1dc7b
Step 10/44 : LABEL rocqproverorg=${GIT_COMMIT}
 ---> Running in 66e2f55a0f3d
Removing intermediate container 66e2f55a0f3d
 ---> ded6b5186f09
Step 11/44 : ARG GIT_BRANCH
 ---> Running in 6b6c4307d14f
Removing intermediate container 6b6c4307d14f
 ---> 599c859f0a9f
Step 12/44 : RUN echo "Based on branch: $GIT_BRANCH"
 ---> Running in f7bf58c68eb9
Based on branch: main
Removing intermediate container f7bf58c68eb9
 ---> 4e6df6674d42
Step 13/44 : ENV GIT_BRANCH=${GIT_BRANCH}
 ---> Running in 450bd92cd41e
Removing intermediate container 450bd92cd41e
 ---> 9bbda84c664c
Step 14/44 : LABEL rocqproverorg_branch=${GIT_BRANCH}
 ---> Running in 777247847a45
Removing intermediate container 777247847a45
 ---> 3c620a8e696c
Step 15/44 : COPY --chown=opam:opam . .
 ---> 010b9897d901
Step 16/44 : RUN opam exec -- dune build @install --profile=release
 ---> Running in 1b369a0e43c1
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 3120ms.
Removing intermediate container 1b369a0e43c1
 ---> 8bd11f0a74c9
Step 17/44 : RUN git clone https://github.com/rocq-prover/opam.git rocq-opam-repository
 ---> Running in 31be05e54746
Cloning into 'rocq-opam-repository'...
Updating files:  97% (4131/4228)
Updating files:  98% (4144/4228)
Updating files:  99% (4186/4228)
Updating files: 100% (4228/4228)
Updating files: 100% (4228/4228), done.
Removing intermediate container 31be05e54746
 ---> 0adfa00b7919
Step 18/44 : RUN cd rocq-opam-repository && git checkout master && git pull origin master
 ---> Running in b3173b994361
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 b3173b994361
 ---> 1e9e45b836a6
Step 19/44 : ENV ROCQPROVERORG_REPO_PATH=rocq-opam-repository
 ---> Running in 1d49c0c384e3
Removing intermediate container 1d49c0c384e3
 ---> 80a5e9a2b9f2
Step 20/44 : ENV ROCQPROVERORG_PKG_STATE_PATH=package.state
 ---> Running in a4b01dde8fc9
Removing intermediate container a4b01dde8fc9
 ---> fa6e550cff1e
Step 21/44 : RUN touch package.state && ./init-cache package.state
 ---> Running in 41d5b8f1f254
PID=11
Setting up watches.
Watches established.
main.exe: [INFO] State cache file: package.state
main.exe: [INFO] Package state starting from scratch
15.06.26 09:09:18.547                       Running on 0.0.0.0:8080 (http://localhost:8080)
15.06.26 09:09:18.548                       Type Ctrl+C to stop
15.06.26 09:09:18.918                  INFO Update server state
15.06.26 09:09:18.918                  INFO Opam repository is currently at 8d8bc95641d315a949d0a0cabd4e48e4e1f03b98
15.06.26 09:09:18.918                  INFO Updating opam package list
15.06.26 09:09:18.918                  INFO Calculating packages.. .
15.06.26 09:09:19.768                  INFO Computing additional informations...
15.06.26 09:09:19.773                  INFO Dependencies...
15.06.26 09:09:19.871                  INFO Reverse dependencies...
15.06.26 09:09:20.008                  INFO Publication dates...
15.06.26 09:09:20.833                  INFO Generate package info
15.06.26 09:09:21.085                  INFO Computing packages statistics...
15.06.26 09:09:21.120                  INFO Loaded 575 packages
15.06.26 09:09:21.120                  INFO Package state saved
package.state CLOSE_WRITE,CLOSE 
Removing intermediate container 41d5b8f1f254
 ---> 0bea7841b5a5
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 3ae69cb82f69
Based on commit: 8d6ef8bbf014b15afee6fca80480a8a9e4c22bfa
Removing intermediate container 3ae69cb82f69
 ---> 74d8f04bc75d
Step 25/44 : ENV GIT_COMMIT=${GIT_COMMIT}
 ---> Running in 94af150c5d90
Removing intermediate container 94af150c5d90
 ---> f2ad537a583c
Step 26/44 : LABEL rocqproverorg=${GIT_COMMIT}
 ---> Running in 23194d50ecd1
Removing intermediate container 23194d50ecd1
 ---> d041d1531ab7
Step 27/44 : ARG GIT_BRANCH
 ---> Running in 6bae9c128423
Removing intermediate container 6bae9c128423
 ---> aeb1e2c5e011
Step 28/44 : RUN echo "Based on branch: $GIT_BRANCH"
 ---> Running in 6ba9455004bc
Based on branch: main
Removing intermediate container 6ba9455004bc
 ---> b7a205e0efc9
Step 29/44 : ENV GIT_BRANCH=${GIT_BRANCH}
 ---> Running in 5b5460e67f78
Removing intermediate container 5b5460e67f78
 ---> 49487984c512
Step 30/44 : LABEL rocqproverorg_branch=${GIT_BRANCH}
 ---> Running in 4ea9278b2e1e
Removing intermediate container 4ea9278b2e1e
 ---> 8af67aa26b35
Step 31/44 : RUN apk update && apk add --update libev gmp git
 ---> Running in cdd7b67a5ec2
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-101-g6ba2b85c6ce [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.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 cdd7b67a5ec2
 ---> c82c7b433797
Step 32/44 : RUN chmod -R 755 /var
 ---> Running in d47a8955f8f6
Removing intermediate container d47a8955f8f6
 ---> 425ff8128014
Step 33/44 : COPY --from=build /home/opam/package.state /var/package.state
 ---> 677a6560eabb
Step 34/44 : COPY --from=build /home/opam/rocq-opam-repository /var/opam-repository
 ---> 03c58624f40e
Step 35/44 : COPY --from=build /home/opam/_build/default/src/rocqproverorg_web/bin/main.exe /bin/server
 ---> b6ce20c57adf
Step 36/44 : COPY playground/asset playground/asset
 ---> dc6086c5f992
Step 37/44 : RUN git config --global --add safe.directory /var/opam-repository
 ---> Running in 9ccd05ba0c8c
Removing intermediate container 9ccd05ba0c8c
 ---> 1f7882ae9277
Step 38/44 : ENV ROCQPROVERORG_REPO_PATH=/var/opam-repository/
 ---> Running in 096e6916cc42
Removing intermediate container 096e6916cc42
 ---> 23f3c56a6727
Step 39/44 : ENV DOC_PATH=/doc
 ---> Running in f463326097be
Removing intermediate container f463326097be
 ---> 34859d15f072
Step 40/44 : ENV ROCQPROVERORG_PKG_STATE_PATH=/var/package.state
 ---> Running in 35ff7c51d740
Removing intermediate container 35ff7c51d740
 ---> 2a6b7dbe9123
Step 41/44 : ENV DREAM_VERBOSITY=info
 ---> Running in 2ff5545f4531
Removing intermediate container 2ff5545f4531
 ---> 8f648d0246db
Step 42/44 : ENV ROCQPROVERORG_HTTP_PORT=8080
 ---> Running in 0b5f01861782
Removing intermediate container 0b5f01861782
 ---> f7475e887f55
Step 43/44 : EXPOSE 8080
 ---> Running in 98be841cad70
Removing intermediate container 98be841cad70
 ---> e2306be49c83
Step 44/44 : ENTRYPOINT [ "/bin/server" ]
 ---> Running in 60acaad89a2f
Removing intermediate container 60acaad89a2f
 ---> e076aef959aa
Successfully built e076aef959aa
Successfully tagged rocqproverorg_www_main_web:latest
Recreating rocqproverorg_www_main_web_1 ... 
Recreating rocqproverorg_www_main_web_1 ... done
2026-06-15 09:09.56: Exec: "docker" "image" "prune" "-f" "--filter" "until=24h"
Deleted Images:
deleted: sha256:5865367d68a955730abfc61de364969e4b512c7cb5e851a9098a287fb45125c5
deleted: sha256:dcbb59f26d0d7d2b9d8087a51aeb3409d7c9c18b2cc991df3b3b77682ce758ff
deleted: sha256:6e817ea86774cefbbdc21bbc68ea3237c9086019afddfcdc3498ff5428c3d0c2
deleted: sha256:354af63f5b003864c4a1e7f8775224e78f6197d4b1ceef6ae941bff04d0a426c
deleted: sha256:7e0e0c90da47ba959e1060e4e6abe7d66acdd7f31fa0c36d4487ab98b52d6b98
deleted: sha256:0a91512733e7a87fcd8b6bbca2cd3a8be1c1e164978f5055f5c5a90fc550f33a
deleted: sha256:d1e53150d25ee5e063a361ab9c11d0f19d6f352229d194ab90cf5ad6e6ee701c
deleted: sha256:f67efb58650a6ac5c9118cdb6caf43c37d9ad7cabebab6da581c93d27e44a498
deleted: sha256:c50e0117c5fe0429d2ac2559bcbc1bf833047d53d1ab09409e70cdd20da24427
deleted: sha256:519efacdb1de0ef92a7fed36a65e849f577832695e58429375bb1d129c8fe609
deleted: sha256:294dbd5497db00348ba927206aba8c05fea8f12229a8d1acf1ef02ed67e72692
deleted: sha256:254b0d4203c7111c32b5d093a1a8075771863abaa622f7c799cb64c46fa9dca4
deleted: sha256:ca1016b02f745bc72bfd54440f08dc25baad730a88bb4b5e8b35a8a00d0f6ca2
deleted: sha256:218002dd94738205d2ba03fbc0aec5d18703629335ff6e17f2f2e4a0bb2578c0
deleted: sha256:f7edcc102dd025de2ee568d187dc03f58d31f0a50809395140b310b513ac3317
deleted: sha256:5de0329bdc96955185ad0fec8572a63245b7d920647fada23be4a1cf0957c280
deleted: sha256:d9f384406b34b9f6a9b13fc71c9c0c7d497d8c5163f021b73850846ea17e8340
deleted: sha256:bc2172d7703b401a1dcfe35d161631872b9d45dfbc69a02a052f770d77a073ab
deleted: sha256:f19771e151463a5b942a243ce40b03e16fd149a030c0f37a3ef1b34afb0ad199
deleted: sha256:db9a5222e61f0b380a8bf422f0fdedb7a05dae48ee9ed4b0455688d88b18c6c4
deleted: sha256:1eb284afbfa96d4ea81767d4913069428d843880a7b83ed29bb6fd6ab3c09281
deleted: sha256:ba1741622315c10183dc1d7c3b602a58716856b96981fbec4af1cad1598d1803
deleted: sha256:9e649ea7bbd64cebe09c8a0c101124d375da623a78a71d1e52e7a4ee06d044e2
deleted: sha256:17df5a7f453b8d1f29189d08d68372f24f7531a7ffd24ddacf00e31c3caf660a
deleted: sha256:7a0eba8d277315c6ca1bc4f4a38ce7225b9b4b73f120767e5d420d6bf829cf08
deleted: sha256:c1b462eeb8f8a1ffa3bbb289b2b2b9b478c9c020360504651a86266fa9ba7e09
deleted: sha256:6124a470e7f4b1530bbb845b73fb71a39cf37eef3675621f0fc7b632a4b69c03
deleted: sha256:02a644e5229a4fa2f99ae4bfc288bb18dd82db1b87ea5130475582db723ec38a
deleted: sha256:e45c438f6e620d97256c47f15c8b3a61593c4ace7f1dd30609e4c535da5b8117
deleted: sha256:45aac47fa4adfd446fd03b10034c6fc834f4da229b65befb018d5263473976fa
deleted: sha256:9c6467875ef49bdeb2d0f24d94a29f7df021ac6e41dd13c627c6fc00523c9f28
deleted: sha256:f60ed36ccad867362c79b0401fc065ee33f6e27fd7f0a4c5805845a407d8ab18
deleted: sha256:92ea543a71104a35c5096d1961708745757cc17c583e64327d28cb61ee6eff0f
deleted: sha256:0a929fd3f36162e270e115bb5b3de8e121987a6f6fa63def8dad5a96df9bbd8d
deleted: sha256:0fdd069ca097d59c3e301fbfd3993757655fcc5420381c560ceaf33275dd3a0b
deleted: sha256:c91f85b32d6b4ac3ece78ae573ae12223cf63d9a7a75b578a07a7ad9e588f3af
deleted: sha256:abf1d701724731a101a6c636664f2442ee6a1118a2a541a95b1628ae6a5e5b2c
deleted: sha256:0b3ebf3e8d54ebadf7c3f3f466d337bf4eb08b0eceec957e9b9d20304ee8e317
deleted: sha256:50a251527ff45125ea431a159d20d7dcaf94c8e30e9620edfff638359137555b
deleted: sha256:679c87179ee6499e1faca6a9980936b3b9330d68e64416e6c69435366b28dc05
deleted: sha256:98a96236d406bc6ccb4f56c42c9978c469b06afb8de993c41d2a1cbbf3de442f
deleted: sha256:c12db3f39395977884a7ecaef87cd44a430c062dc77e8e69c99effcf796baab9
deleted: sha256:3c75ea2d33be2e6950180d3f7384c6780494a10643d6ad6ce49c0de1eaffeba1
deleted: sha256:7549d8011e54a08802556367334ab776512f927a25e9d7f5620bb52d2e9864c0
deleted: sha256:cb67b4653b472b268c8cfde37f65b8463ee749f10ab44a57a62874d79471e305
deleted: sha256:6ad169cdd0a10a5ad262fc4732420c7a3b2e5f7bbb1b7121536603c653fa9bbc
deleted: sha256:23f4adaf4e947f2f7efdba450a75d84786ebc874c897866c0541eefb0cf979a3
deleted: sha256:3316e4701bbdcdbb169c43a42d7b2b0bd06d38bb4a4218f6a11225691b1307a3
deleted: sha256:fe22e5a10e3e0fbacc4df817ff8a6016a259a7a272d91d6c3a77ef06d453eb64
deleted: sha256:2e0f75375c4537089e2833b6a5d5c2b03d2f698f6c491cebb525ad5dd7a56891
deleted: sha256:704ca62750dea95028b199a29d6ddcafdf2c3adde00a634234195355c1f3bbce
deleted: sha256:68f6b721329238dcd6e2e936090bbb1634ec9002f3d0cdc6b81015e6f1942101
deleted: sha256:b16b3ee57c0b4a1762b5688d3acd7a613d6897a5689b5e9ca1d946ad41631b28
deleted: sha256:0d43a1cd083188efb2e02e1dd2546f59b7d123a89ebf70edecef716614bc0746
deleted: sha256:2d5a4240ac4047fa6b1259d75b5388590916de141394f7cc9d174075b04647ca
deleted: sha256:7b8e18f520bd2c565e37b1a375e50a1a0b4f63425d8936b33f3944f11f83beea
deleted: sha256:74d8f24e86dd10202ad8058e5fb5ef017ee24cdb04c8f93af2c9bd9f92e9d476
deleted: sha256:70ec8419baaa1faf8c077f788355e18d64f777ffa9d00fab5c8836238e7afef0
deleted: sha256:5cd361ae7737b6c24a3d9846cd1982d655c3c96c6456f7a2310cbcaa589c7b2d
deleted: sha256:875824a1e9d6c1536638ed63460baba7b0f298794172ac249e4994075b3cf727
deleted: sha256:be063ba1979c6d68a77e12b3fecd443e51a2b1fd812f0cf7ec51f1d0c6ab52d1
deleted: sha256:7082d3cb147bd8c495d3c78f66eb259615940d3440e01487a493118f62203cd9
deleted: sha256:e4ee7ed95b6601ece9f07baf6194aa1af726266d205c54da01ae3d6da8438a1d
deleted: sha256:e1811b3607af3a77b0ea26bb1516874f1193cd9c9366460abfcb3a5a76fc95c9
deleted: sha256:38405483898bf30f95349885ec002abce18f03c5058e5a8cf0d3077cbd9207d4
deleted: sha256:4f1745a41b00da8fc2084eeb8a950c19e64062c54dd310ce156719157f621614
deleted: sha256:c69ad422f03a0e8dd9e505e97fb69d56df71c300ad24d2250fa333d4e1c8d223
deleted: sha256:10046bcd8b0ed327014ce6275561f03666186682555f63b83fde5cc36f525d53
deleted: sha256:07e76ee4357e216fbb0a153429c79b74b5e19ee9115543ca253b49a2e582dc41
deleted: sha256:179556bedfb61efc43d67eeddf86b39b97c8e4a935440ac9edb884d4f8ec2553
deleted: sha256:8667c8f1ba0bcf4150df8e2bf636f55442dc15dfe5a1a4f7869211bdb1fcf5fa
deleted: sha256:e4b1a197c524d8600ecc04fe2024d311936ce0a04b7b3878940caab881afb1a0
deleted: sha256:f0224141133b52370110cf454f1c9270e3a7cb9f934f9781295843ee965afdf6
deleted: sha256:68bf2a7b3de7ca9e8683ffe7425e83ea6a6096ce20065b51eb1031a7658c7dec
deleted: sha256:a43a7b51733454a2e384991d34cf3d70ea93d378fd205542838f218709beb741
deleted: sha256:7b77c714b7ce029cef3a40615b713fd2c47ed4bcdf5d74e02466b1748c4ad325

Total reclaimed space: 3.497GB
2026-06-15 09:10.38: Job succeeded