2026-08-15 10:49.15: 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-08-15 10:49.15: Working directory: "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0"
2026-08-15 10:49.15: Exec: "docker-compose" "-f" "compose.yml" "-p" "rocqproverorg_www_main" 
                           "pull"
Pulling web ... 
Pulling web ... done
2026-08-15 10:49.24: Working directory: "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0"
2026-08-15 10:49.24: 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 c60d095f7f3d
Based on commit: 1dc1dfe838909db8714a34eb266b951c3c12028f
Removing intermediate container c60d095f7f3d
 ---> 011064b02739
Step 9/44 : ENV GIT_COMMIT=${GIT_COMMIT}
 ---> Running in c84ae037fb6c
Removing intermediate container c84ae037fb6c
 ---> a91ff075d214
Step 10/44 : LABEL rocqproverorg=${GIT_COMMIT}
 ---> Running in 4d94f38ee496
Removing intermediate container 4d94f38ee496
 ---> aa17bd8d02ee
Step 11/44 : ARG GIT_BRANCH
 ---> Running in 71c4a1e656f8
Removing intermediate container 71c4a1e656f8
 ---> a0c7c95ad50b
Step 12/44 : RUN echo "Based on branch: $GIT_BRANCH"
 ---> Running in 264bc1dd8b8c
Based on branch: main
Removing intermediate container 264bc1dd8b8c
 ---> 8d069d54d29a
Step 13/44 : ENV GIT_BRANCH=${GIT_BRANCH}
 ---> Running in 5f54221084ee
Removing intermediate container 5f54221084ee
 ---> bd3c3bb39954
Step 14/44 : LABEL rocqproverorg_branch=${GIT_BRANCH}
 ---> Running in 857938cd14d0
Removing intermediate container 857938cd14d0
 ---> ef78acb12235
Step 15/44 : COPY --chown=opam:opam . .
 ---> ef7373d80c67
Step 16/44 : RUN opam exec -- dune build @install --profile=release
 ---> Running in 8c8d2906687e
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 3683ms.
Removing intermediate container 8c8d2906687e
 ---> ddb02836d0c9
Step 17/44 : RUN git clone https://github.com/rocq-prover/opam.git rocq-opam-repository
 ---> Running in 66bf1ae578e2
Cloning into 'rocq-opam-repository'...
Updating files:  94% (4111/4368)
Updating files:  95% (4150/4368)
Updating files:  96% (4194/4368)
Updating files:  97% (4237/4368)
Updating files:  98% (4281/4368)
Updating files:  99% (4325/4368)
Updating files: 100% (4368/4368)
Updating files: 100% (4368/4368), done.
Removing intermediate container 66bf1ae578e2
 ---> 86c2ff80375d
Step 18/44 : RUN cd rocq-opam-repository && git checkout master && git pull origin master
 ---> Running in aa9429993d94
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 aa9429993d94
 ---> 1b574de9fbbe
Step 19/44 : ENV ROCQPROVERORG_REPO_PATH=rocq-opam-repository
 ---> Running in 82f2dd3e4f24
Removing intermediate container 82f2dd3e4f24
 ---> 2982e8bbfaed
Step 20/44 : ENV ROCQPROVERORG_PKG_STATE_PATH=package.state
 ---> Running in e4ff89f5d703
Removing intermediate container e4ff89f5d703
 ---> a6783cfa309c
Step 21/44 : RUN touch package.state && ./init-cache package.state
 ---> Running in b6de0e4b5a16
PID=10
Setting up watches.
Watches established.
main.exe: [INFO] State cache file: package.state
main.exe: [INFO] Package state starting from scratch
15.08.26 10:52:42.193                       Running on 0.0.0.0:8080 (http://localhost:8080)
15.08.26 10:52:42.193                       Type Ctrl+C to stop
15.08.26 10:52:42.705                  INFO Update server state
15.08.26 10:52:42.705                  INFO Opam repository is currently at 6ed7bd0eba8def2d0f622221fc0013ed34277aa4
15.08.26 10:52:42.705                  INFO Updating opam package list
15.08.26 10:52:42.706                  INFO Calculating packages.. .
15.08.26 10:52:43.710                  INFO Computing additional informations...
15.08.26 10:52:43.714                  INFO Dependencies...
15.08.26 10:52:43.803                  INFO Reverse dependencies...
15.08.26 10:52:43.919                  INFO Publication dates...
15.08.26 10:52:44.792                  INFO Generate package info
15.08.26 10:52:45.019                  INFO Computing packages statistics...
15.08.26 10:52:45.069                  INFO Loaded 584 packages
15.08.26 10:52:45.069                  INFO Package state saved
package.state CLOSE_WRITE,CLOSE 
Removing intermediate container b6de0e4b5a16
 ---> 24163e63488c
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 090a4f19964c
Based on commit: 1dc1dfe838909db8714a34eb266b951c3c12028f
Removing intermediate container 090a4f19964c
 ---> 22bf3d8f2688
Step 25/44 : ENV GIT_COMMIT=${GIT_COMMIT}
 ---> Running in 57acae77596e
Removing intermediate container 57acae77596e
 ---> 531710507590
Step 26/44 : LABEL rocqproverorg=${GIT_COMMIT}
 ---> Running in 7dcdfa6d43fd
Removing intermediate container 7dcdfa6d43fd
 ---> 9c16c537229e
Step 27/44 : ARG GIT_BRANCH
 ---> Running in 2d1db85db53a
Removing intermediate container 2d1db85db53a
 ---> 7ce17d63fffa
Step 28/44 : RUN echo "Based on branch: $GIT_BRANCH"
 ---> Running in c7030d17a122
Based on branch: main
Removing intermediate container c7030d17a122
 ---> 74a7a5061cde
Step 29/44 : ENV GIT_BRANCH=${GIT_BRANCH}
 ---> Running in ec8a21e95af6
Removing intermediate container ec8a21e95af6
 ---> 4ea18d4af2d9
Step 30/44 : LABEL rocqproverorg_branch=${GIT_BRANCH}
 ---> Running in 6cc09936300e
Removing intermediate container 6cc09936300e
 ---> 507ea88c6790
Step 31/44 : RUN apk update && apk add --update libev gmp git
 ---> Running in 5cdca53c2b78
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-114-ga410d2306e5 [https://dl-cdn.alpinelinux.org/alpine/v3.20/main]
v3.20.10-106-gcfb1a4769c3 [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 5cdca53c2b78
 ---> fc8dd139ccaf
Step 32/44 : RUN chmod -R 755 /var
 ---> Running in 54c475ee2f9d
Removing intermediate container 54c475ee2f9d
 ---> 50472d91db6a
Step 33/44 : COPY --from=build /home/opam/package.state /var/package.state
 ---> f4a18371ff87
Step 34/44 : COPY --from=build /home/opam/rocq-opam-repository /var/opam-repository
 ---> fe9dda00b77f
Step 35/44 : COPY --from=build /home/opam/_build/default/src/rocqproverorg_web/bin/main.exe /bin/server
 ---> ecdd05b087bb
Step 36/44 : COPY playground/asset playground/asset
 ---> 0acdf48a441d
Step 37/44 : RUN git config --global --add safe.directory /var/opam-repository
 ---> Running in 0e91ed8aff2b
Removing intermediate container 0e91ed8aff2b
 ---> b46697c2c178
Step 38/44 : ENV ROCQPROVERORG_REPO_PATH=/var/opam-repository/
 ---> Running in 15c3dcedc34f
Removing intermediate container 15c3dcedc34f
 ---> 3fa398cdd913
Step 39/44 : ENV DOC_PATH=/doc
 ---> Running in 48c9149c8150
Removing intermediate container 48c9149c8150
 ---> cd5345f944f9
Step 40/44 : ENV ROCQPROVERORG_PKG_STATE_PATH=/var/package.state
 ---> Running in 9a211f3f7e39
Removing intermediate container 9a211f3f7e39
 ---> 2627d791751d
Step 41/44 : ENV DREAM_VERBOSITY=info
 ---> Running in feeca6150a8c
Removing intermediate container feeca6150a8c
 ---> e9ca44db0293
Step 42/44 : ENV ROCQPROVERORG_HTTP_PORT=8080
 ---> Running in bc0721985a69
Removing intermediate container bc0721985a69
 ---> 5ea6a4eee674
Step 43/44 : EXPOSE 8080
 ---> Running in 61f307be1ede
Removing intermediate container 61f307be1ede
 ---> ed69b5039617
Step 44/44 : ENTRYPOINT [ "/bin/server" ]
 ---> Running in f2fa7056dd03
Removing intermediate container f2fa7056dd03
 ---> b9cd2510aa17
Successfully built b9cd2510aa17
Successfully tagged rocqproverorg_www_main_web:latest
Recreating rocqproverorg_www_main_web_1 ... 
Recreating rocqproverorg_www_main_web_1 ... done
2026-08-15 10:53.21: Exec: "docker" "image" "prune" "-f" "--filter" "until=24h"
Deleted Images:
deleted: sha256:ed078ed28b7b28377f029457e27d4fe8830e8493581c72a83186efcb6e70c69d
deleted: sha256:3817f312e1b9730b074d2636c9ad8cde97c80e1c2f17b0fe7202f3b492680483
deleted: sha256:9ffa7a47ddd097af720eefb5325aff2a33189c6fc32250176f0c85296320c356
deleted: sha256:bbeb7b390f21cb70084b92bb201fb11b57c9593539bd97e6a2a6f496c3b57116
deleted: sha256:a0c6c37925aa2e059d31e59e0e0eb4e70367ef72281c0f30121f328573ba3fbe
deleted: sha256:9d64ddf9ed36c126a87c2f2f908bc702feccc14ec0f163e427a8c39f56678168
deleted: sha256:b6b49e82e5f2039a54659c9d78a8f00b9b130c16edfecce14b11b7d7a96e7a62
deleted: sha256:45fa9df908ddaa7bf3bcc4af723a8ce1d91e60c78639bf88b21c2e78370fa990
deleted: sha256:94eff560bd41ded451ff9537083262ddb702079f4f87cc3445e4adf41d1bf0c1
deleted: sha256:d12200aeb2f78865edff1a3ac3015f201924c90ac0deebef8237b279f2f874de
deleted: sha256:b6c9870a9ee96a8a1b9fcd61495671e63b2c50235ddb22c189296f764d38f872
deleted: sha256:ccf8e28f0e4bc4da277cdd2800c6931dd43ec87f925a81c92d9ffb209e1530ca
deleted: sha256:083f009a1b73af6194ba1c2e294e1e8a9614df5bf74348435f242f775f7d8d58
deleted: sha256:a4977b3f2237236e76f62a2185c631af6dfad2adcfca1d1db7b306e0e45aaf1f
deleted: sha256:de75b368b26b5efe928359beb17f34ca110a07ca75fcfefb3acdb928db83cdcc
deleted: sha256:9d2fc3548722d3b7053961ad6e7b438c360badc3194637fbf2e93ba85967e491
deleted: sha256:f2c17fd7277988aac419557e5154c4fa07f6025c2884cdb2dfd089681b24afaa
deleted: sha256:1d4ebeb886af4377e5eaf4f8b67f01c19bdd49ad244434e5af0d154997b1192e
deleted: sha256:69e3a407d27ba120d50357c221ad9e34bde9382d99fe456072659cd2d7f756b3
deleted: sha256:3a9c053d5705ed31d18b4ee660d8f640f5772b93464991b315f61ccbcdc270cf
deleted: sha256:88d285a36a1d05c9c254d3c82365466429ee25f58b22af63a0cb5915302b5a1a
deleted: sha256:3a6339c902010c5743ead6291b54aa2dd2b6229f199d490836035ad3ffa025ac
deleted: sha256:08d20d1982c334485a1023d0667d198925a92eb9e9eab0bd6fabefc322e64758
deleted: sha256:153efbf0891641cdb3cb08d8383c0061d4fb3aadc7055d1672b0886b6bbfb468
deleted: sha256:84045a204cb2da472103f9513d8057932623792120ee78abf965e073c779d886
deleted: sha256:22a5bb3163fd3d22edccaa39ccecb8cb3fa64c2b4d3f3e1baa5d2f95b04156ae
deleted: sha256:2c01883f0ba51f9817ddb675390cf1f492877e24511f7b6c0955eebdc86bb0ec
deleted: sha256:c7fa494ea2a927d106f9dded2f2d351f17bb2387df0dc654a7b0d0852fbf573a
deleted: sha256:afc09fcc04be5dd612215a458b20f81de6a6d6dbda4eebd46b6c7803bd3b6388
deleted: sha256:b1b1d133a6d738e6ded0e42c60e2c3010af7357f1f61f303cbd0fd1d20c09770
deleted: sha256:3be57060dc5b75657a491af751ca65df206b475fac5b356ba486d64760777592
deleted: sha256:b754f9d7842a43c95ecf6d101558bef24d24bdd9e4b9f71a3e305b0341790bf1
deleted: sha256:47e7eb5f34ef93005c5822be81791fc098e5e597caa6293acc9e71105ca16e63
deleted: sha256:8bbb7e415606824d8206114fdb46cd47ba4fcbe76454fee682893c2fcdb6793f
deleted: sha256:26b6fde4a76783fadfd0479586396b64f40ff8c56dd7df488b9acdb0ca28a0ae
deleted: sha256:00ffd6314efa216f59a11f9edb380ff5249329c33c7c9ef98f9d9e03906fedef
deleted: sha256:34a202281fe37c704b98b2660a0e591e84a784d2524e1c6afb0b4a4c24b7ff63
deleted: sha256:2d18ccb2d2202160225f01e93f121249b29b9bac3d961b954d59bb242c0b0a97
deleted: sha256:c2a1cba8eeee35c4804b02ef6dedc40e1f22cc576c600d9fc9b3c498a8334515
deleted: sha256:304aac4a398f01b06c25fb4a7073fa790b386baf1924383214ed3db4ccfc76c0
deleted: sha256:5f6fbfbd36d8306b66300bd5705acbd37c06a4350dc25a680776eac0f5544726
deleted: sha256:1d34acf6d378a074f9c7b728b05a92aa050b7c7b34500700f6cae1a52854a19f
deleted: sha256:1da801ae32acd9264ab23e1f4aa9c380cbb23f4de6164328e0fc8182d10db336
deleted: sha256:ae8242716b814066fc7cad06f8380d70b0e15ace29ead4d3065547b8a2a81c73
deleted: sha256:2dccf5f3d66b81257bbf656f13230f35ed2dc555713f5c6d5ceb2a59b0dc32f3
deleted: sha256:ab837b3f9bcc365ee5f6b8dbce14005bc3b7e4e052fe4c4b533bef343f18e347
deleted: sha256:85efb40b241a3ca507452bbad190bf2613bdb1d356b21b8ad27508f231327e24
deleted: sha256:d26a89a66c5edbde8f0151b74538f58bd76e999f017bfd81df9392e22470ee4f
deleted: sha256:71df7a48b7e2516129850e10abe5a1dfb66e25e4ab7253487c29ee80a229176a
deleted: sha256:ccedd804af0c4040d600b496f79c3e42101fbbe3c56c592842e73adb97bb8a1f
deleted: sha256:8ad3d7e8c8f63910c7532fed6ce640c4f4d4018c72895a1753f8ef224aae47fb
deleted: sha256:e96f7fc472128ea67acc31e7e57eb021a9e9bf129c60564e637356d5fac4def3
deleted: sha256:cbc94fe3a8599be99464417f0d4fbcbe0246d585661e97cec7c1d232cc10dded
deleted: sha256:4300759e8b5c01f94c3219d2fe273d00af05b36ece5fe8a37c2b52b67bad84e9
deleted: sha256:5eb3e40ad195af6a07cca034a7ae06a618463d3195aa7a47ce3b1581a73c7f21
deleted: sha256:c13316a314301029ed6188e99d787162e732d9bb9d464137cb689975d9cd5915
deleted: sha256:43f24558f813482fc6a4a047123254653ed61c8f0684fe55080ceaf4a3f603bd
deleted: sha256:3b35e21533a4e82fca306c229cdefd460aaa2969c918fb264e74b5f3b7458902
deleted: sha256:0d08d9206445f3ae564e9ae5d80080750cd51be903820143ca9dcafd42303caa
deleted: sha256:fbae5c9fd6c1bd1a4c03e73fe9efbdeb07ea82a18b0f3275b4b36c906124dce6
deleted: sha256:491c8342f47941801549bd9f60f74816f9df47e7c471a815f1ba45398241658a
deleted: sha256:86fe920ec73f970a40c1a6b9006145410f5ddb7ec6d27a95c2d1838bef0d1f70
deleted: sha256:855fd0486deea17097798d712d0fb25f3f624b823c368ee21c5e204b7e438507
deleted: sha256:51d890515f124e40519e9f0a9381fb3b5af411ccf599e952dbc9577f3a718123
deleted: sha256:8dcf0c872e98ee09288d26961f11bb76dc2eff23530408e2a3b37ef99b49a2d6
deleted: sha256:2ca215a231028453381aa3ed7a34367a47264b922942572eb44e7fbf93da7f4a
deleted: sha256:a94c6b288545ec9d4a7bba0f8bf28fd882706ef2545975fcd1bb211020d41b88
deleted: sha256:22462e7c0b6287b691297c5c288c6624ca5c64865c6cd2405614001938bf6edb
deleted: sha256:87ffa3cf75966a843b3db3e190191af8143b8d569e8947e00694a4f4572936ff
deleted: sha256:5530ee8bd2e12573a2a1f4c62c93a19ab342cd771aad159ff8643ecab97263fb
deleted: sha256:fb5ddb38e6c72c34ac74c75451e35b5f3a0ffea11f601f43b68011aa4ec15277
deleted: sha256:52ffd5937803b9eeb17fc5b78cca1ff4f3f3fb8ce14f05325dff34794a849b7d
deleted: sha256:b1b43266458758d32b84e0d51db59c697e2422c671072fe37ebd298c921edc9c
deleted: sha256:7054c59480b3324fe9322b8e3464c2c0e39c6a21b2ad5733de91a4c71091fe22
deleted: sha256:ec089e10aa5815f68349912d3c3b00e7004c2f947c9113ccf1c63cae2dfaebc8
deleted: sha256:db18cb445d6121052cc436398b869eb18be7ff71142120288ff887567d9594d5
deleted: sha256:6b0e0c3ce6d01274963ba0b93c2ec4404bc81ae0107d0cf6778781485b991521
deleted: sha256:63f746911fc77284278fe8f41f116b03afe97572a7ec26fdec147fe5432b0aef
deleted: sha256:742cead3cd187f43e78f88c7f4e7716d81bfbb65186f8ddfe61fc573475b95a5
deleted: sha256:cd0fd76600b30bb7c0e6aa60d7b7f493903ea09deaed7dfe678337668ead83e2
deleted: sha256:77c994be4460977b6854a7d3a542aa4f2c0f3b4be3f6203ee3eaa7814a0b1a97
deleted: sha256:9a2c080f093c4fc65652420b279593f75fe0633255e1c782246c465efe7260da
deleted: sha256:a57c9b414102e11af87c95ae9dafcb928fbeebfca57ede87100f3635caee7faf
deleted: sha256:dacc9f6254926d1581194bf2d5b18b85f69957caba8898e931fb6b8b71ffc7db
deleted: sha256:2be259be287b247408ce1c8cf06094d5a1c64f6e4cff6fd0dbd6364d82862d30
deleted: sha256:14665b937547470d00a8f2d7deff28c1d878962d92b3280e76730afab7e67c89
deleted: sha256:d5b32866721489a64a339f1e3d23928642a6bd392b50bc6c739b159942d81047

Total reclaimed space: 3.516GB
2026-08-15 10:53.58: Job succeeded