Build:
- 0
2026-04-06 10:06.48: New job: "docker-compose" "-f" "compose.yml" "-p"
"rocqproverorg_www_staging" "up" "-d" "--build"
"--force-recreate"
cwd: /var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0
2026-04-06 10:06.48: Working directory: "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0"
2026-04-06 10:06.48: Exec: "docker-compose" "-f" "compose.yml" "-p" "rocqproverorg_www_staging"
"pull"
Pulling web ...
Pulling web ... done
2026-04-06 10:06.49: Working directory: "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0"
2026-04-06 10:06.49: Exec: "docker-compose" "-f" "compose.yml" "-p" "rocqproverorg_www_staging"
"up" "-d" "--build" "--force-recreate"
Building web
Sending build context to Docker daemon 370.1MB
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 50b18158898d
Based on commit: 6e4c7dd8b47358b8f34f86fdc4dbaeb1978c034d
Removing intermediate container 50b18158898d
---> ed5184bb7305
Step 9/44 : ENV GIT_COMMIT=${GIT_COMMIT}
---> Running in 8293f41bd109
Removing intermediate container 8293f41bd109
---> 5d8a0557bb27
Step 10/44 : LABEL rocqproverorg=${GIT_COMMIT}
---> Running in 390e8a304db6
Removing intermediate container 390e8a304db6
---> b7511247ea69
Step 11/44 : ARG GIT_BRANCH
---> Running in 0a1bb959cd9f
Removing intermediate container 0a1bb959cd9f
---> 79b7502a0866
Step 12/44 : RUN echo "Based on branch: $GIT_BRANCH"
---> Running in a810450b637a
Based on branch: staging
Removing intermediate container a810450b637a
---> 864c2cdede37
Step 13/44 : ENV GIT_BRANCH=${GIT_BRANCH}
---> Running in 006533c1b55c
Removing intermediate container 006533c1b55c
---> 55842a35eef5
Step 14/44 : LABEL rocqproverorg_branch=${GIT_BRANCH}
---> Running in 9371d5567a13
Removing intermediate container 9371d5567a13
---> 954e016147d2
Step 15/44 : COPY --chown=opam:opam . .
---> 8484ba482d71
Step 16/44 : RUN opam exec -- dune build @install --profile=release
---> Running in 42f4b560ba6d
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 4593ms.
Removing intermediate container 42f4b560ba6d
---> e20ba8184857
Step 17/44 : RUN git clone https://github.com/rocq-prover/opam.git rocq-opam-repository
---> Running in 15f3462afc6b
Cloning into 'rocq-opam-repository'...
Updating files: 95% (4028/4196)
Updating files: 96% (4029/4196)
Updating files: 97% (4071/4196)
Updating files: 98% (4113/4196)
Updating files: 99% (4155/4196)
Updating files: 100% (4196/4196)
Updating files: 100% (4196/4196), done.
Removing intermediate container 15f3462afc6b
---> 42bc6ab93922
Step 18/44 : RUN cd rocq-opam-repository && git checkout master && git pull origin master
---> Running in af934590c3d1
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 af934590c3d1
---> d1084b38c442
Step 19/44 : ENV ROCQPROVERORG_REPO_PATH=rocq-opam-repository
---> Running in 7f76d454f16b
Removing intermediate container 7f76d454f16b
---> 604a88e0cc70
Step 20/44 : ENV ROCQPROVERORG_PKG_STATE_PATH=package.state
---> Running in b0e8014ab000
Removing intermediate container b0e8014ab000
---> 2b6cd6db7a6e
Step 21/44 : RUN touch package.state && ./init-cache package.state
---> Running in dd0966aa0ecf
PID=11
Setting up watches.
Watches established.
main.exe: [INFO] State cache file: package.state
main.exe: [INFO] Package state starting from scratch
06.04.26 10:08:57.179 Running on 0.0.0.0:8080 (http://localhost:8080)
06.04.26 10:08:57.179 Type Ctrl+C to stop
06.04.26 10:08:57.760 INFO Update server state
06.04.26 10:08:57.760 INFO Opam repository is currently at 2479e11b54b8016a2e5767842d7c6c88ca6a91c5
06.04.26 10:08:57.760 INFO Updating opam package list
06.04.26 10:08:57.760 INFO Calculating packages.. .
06.04.26 10:08:58.964 INFO Computing additional informations...
06.04.26 10:08:58.969 INFO Dependencies...
06.04.26 10:08:59.079 INFO Reverse dependencies...
06.04.26 10:08:59.225 INFO Publication dates...
06.04.26 10:09:00.344 INFO Generate package info
06.04.26 10:09:00.584 INFO Computing packages statistics...
06.04.26 10:09:00.630 INFO Loaded 565 packages
06.04.26 10:09:00.630 INFO Package state saved
package.state CLOSE_WRITE,CLOSE
Removing intermediate container dd0966aa0ecf
---> 0d5dd7a377ae
Step 22/44 : FROM alpine:3.20 AS run
---> cc9071bd1610
Step 23/44 : ARG GIT_COMMIT
---> Using cache
---> 0f5e1e19991f
Step 24/44 : RUN echo "Based on commit: $GIT_COMMIT"
---> Running in d314dc248bdb
Based on commit: 6e4c7dd8b47358b8f34f86fdc4dbaeb1978c034d
Removing intermediate container d314dc248bdb
---> 2a6fccb3402c
Step 25/44 : ENV GIT_COMMIT=${GIT_COMMIT}
---> Running in 7ed2c97e0fd1
Removing intermediate container 7ed2c97e0fd1
---> 156e10274a59
Step 26/44 : LABEL rocqproverorg=${GIT_COMMIT}
---> Running in 678d23682510
Removing intermediate container 678d23682510
---> 823b81a75a73
Step 27/44 : ARG GIT_BRANCH
---> Running in c3f6ec09d18d
Removing intermediate container c3f6ec09d18d
---> bf2cf9fc97b8
Step 28/44 : RUN echo "Based on branch: $GIT_BRANCH"
---> Running in 1ac37e9639dd
Based on branch: staging
Removing intermediate container 1ac37e9639dd
---> b40376a06bf5
Step 29/44 : ENV GIT_BRANCH=${GIT_BRANCH}
---> Running in 56b9fa65fcc9
Removing intermediate container 56b9fa65fcc9
---> a253d97e9df4
Step 30/44 : LABEL rocqproverorg_branch=${GIT_BRANCH}
---> Running in c84f00924172
Removing intermediate container c84f00924172
---> 8f800a52d1d5
Step 31/44 : RUN apk update && apk add --update libev gmp git
---> Running in a5b4fa5f6da5
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.9-62-g4ec701d3304 [https://dl-cdn.alpinelinux.org/alpine/v3.20/main]
v3.20.9-63-g858f09933c7 [https://dl-cdn.alpinelinux.org/alpine/v3.20/community]
OK: 24171 distinct packages available
(1/15) Installing ca-certificates (20250911-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-20250911-r0.trigger
OK: 21 MiB in 29 packages
Removing intermediate container a5b4fa5f6da5
---> 3a133646de8c
Step 32/44 : RUN chmod -R 755 /var
---> Running in 56d7b02ea386
Removing intermediate container 56d7b02ea386
---> 8841da29229c
Step 33/44 : COPY --from=build /home/opam/package.state /var/package.state
---> 577b50204c0b
Step 34/44 : COPY --from=build /home/opam/rocq-opam-repository /var/opam-repository
---> 974b351d05da
Step 35/44 : COPY --from=build /home/opam/_build/default/src/rocqproverorg_web/bin/main.exe /bin/server
---> 570a2243d537
Step 36/44 : COPY playground/asset playground/asset
---> d12613074697
Step 37/44 : RUN git config --global --add safe.directory /var/opam-repository
---> Running in 4eb4b14ac6a5
Removing intermediate container 4eb4b14ac6a5
---> 3045a81ff573
Step 38/44 : ENV ROCQPROVERORG_REPO_PATH=/var/opam-repository/
---> Running in 24794c7f1fe7
Removing intermediate container 24794c7f1fe7
---> fbd305cd1497
Step 39/44 : ENV DOC_PATH=/doc
---> Running in 3dd75126b47c
Removing intermediate container 3dd75126b47c
---> eea3f47f3fea
Step 40/44 : ENV ROCQPROVERORG_PKG_STATE_PATH=/var/package.state
---> Running in f8c4f690ba9b
Removing intermediate container f8c4f690ba9b
---> 571f80f54a8b
Step 41/44 : ENV DREAM_VERBOSITY=info
---> Running in 0487e60c294b
Removing intermediate container 0487e60c294b
---> 31cf51a7aa9c
Step 42/44 : ENV ROCQPROVERORG_HTTP_PORT=8080
---> Running in 609f1b2d669e
Removing intermediate container 609f1b2d669e
---> 4b0f99638751
Step 43/44 : EXPOSE 8080
---> Running in 678ebff05921
Removing intermediate container 678ebff05921
---> 101f01c9e585
Step 44/44 : ENTRYPOINT [ "/bin/server" ]
---> Running in c260b1798a50
Removing intermediate container c260b1798a50
---> 1e1dd4151ea6
Successfully built 1e1dd4151ea6
Successfully tagged rocqproverorg_www_staging_web:latest
Recreating rocqproverorg_www_staging_web_1 ...
Recreating rocqproverorg_www_staging_web_1 ... done
2026-04-06 10:09.33: Exec: "docker" "image" "prune" "-f" "--filter" "until=24h"
Deleted Images:
deleted: sha256:ce0d430a82641d047d00e6db5eeee2154bbb4654a9584847dcb531a4c1f8668c
deleted: sha256:e8e0e01742149e26d7de66500f3bca959b2b611d8d4a0be09c4409a594b37f83
deleted: sha256:23f1485dadb6e0b08f5804d0da8450c4bcb40931c44dad45e65c0d6f1a7a2fc1
deleted: sha256:153c471112ca3f7a8a64fa1c194c00683358c0b2709970c4cc36d79c7386e69f
deleted: sha256:5573cccb5757bb7a68d2019ab5ca0f1877c246b2e196eb22b01d04a00b3c2126
deleted: sha256:24d4b590fbc165226ab3b4415a6a1883abde8a9707011266605dbd34cd1d7332
deleted: sha256:9c530ce877e13a14a61ceb53f95d005008b6c70a649df8808e8a49545e751ad4
deleted: sha256:f5470efa9a63c6886af93fd5b420f2a6842901c77f273c600bb3172197e1858d
deleted: sha256:2b8f65eecce9d36723b52f56bd96214c883d21b975fcd71eeb4c04b9735e21d6
deleted: sha256:f48ff3fa1843400ebced7b53a1425c8b7ded8e543ba28950958c47f34d501a47
deleted: sha256:71c7163c874d44a763fed1f0f6866296b3e6c250e459681a779925fe8d6982ae
deleted: sha256:ebf15ba97593e1c8d1e943c4e62157055cd82e8c4b211f1ce1c4ed0660bc4d36
deleted: sha256:a9f4da27ce1d86fd7f6a6852864405dfc4fea35b6b400696e0adf5614cd09276
deleted: sha256:3c0c7ad302c1badc2c7fb6150c0253e3ecd87e2c3f25fbebb0cdf6bd6cb45de5
deleted: sha256:bf363a8af3d056280862a3bffd9e9151ba6a8790bae575b7b5e5bbc2e4e50575
deleted: sha256:69dd18ab1bcd8bb12e6bfa85730be675419bb345bf72283f9dc8575bce64869e
deleted: sha256:04bc47848c28f31c2f24cfe594e7c4c4149586f9d8a7bbd329df719913555320
deleted: sha256:586b96f562bc31b566572b01148fe29baa67f518b320d5cda62d3a761d8ed64d
deleted: sha256:91afbdf37991b4d36f5cfaf1c6f143ee91d61c66a7d5c155a86b0d4a5776f92a
deleted: sha256:0455c4cf73257c923e2510553977209851eb6c565d9f43b3a905b706c66079be
deleted: sha256:02460649ff5e464113da04be2b977646d929ce9e160515402ed72d25465115ee
deleted: sha256:1bef9936221a6e302bdc5a13876b9fdf3251ff99b76732e13921fb0e99331daf
deleted: sha256:c15608fed778ee310194bed9d1e2fd99d80a5e82d73312919c03cea1b4882a4e
deleted: sha256:16a0e8d8078a94d45f9ddf60bcc74b90c777b1ceb5b5c60e5f53c2c9b8c42e1b
deleted: sha256:95f1bd2d3fac3c7ec4b9daad857d80845b45876afb122a58e9767cae324ebcde
deleted: sha256:71ec6ab36234426dfa0b5637907d58dce093f4fa1667a92d1b8fdff9e71db0da
deleted: sha256:6601800d4af823924f61c7ad8539a6c7936ff255b92e0959fded60eb72a1f4db
deleted: sha256:8abf71ec79d58f6fd29c8b3066c91a64a98d54f74cb19dc5f9d1cc735a02953f
Total reclaimed space: 135.1MB
2026-04-06 10:09.39: Job succeeded