Build:
- 0
2026-05-29 15:18.45: New job: docker build {
"commit": "7b74677090bd726ac0b13673292e251e4893eff2",
"dockerfile": {
"file": "./Dockerfile"
},
"docker_context": null,
"squash": false,
"buildx": false,
"build_args": [],
"path": null
}
2026-05-29 15:18.45: Checking out commit 7b746770. To reproduce:
git clone --recursive "https://github.com/rocq-prover/rocq-prover.org.git" -b "thomas-lamiaux-patch-2" && cd "rocq-prover.org" && git reset --hard 7b746770
2026-05-29 15:18.45: Exec: "cp" "-a" "--" "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0/.git"
"/tmp/git-checkout3fcafc0f"
2026-05-29 15:18.56: Exec: "git" "-C" "/tmp/git-checkout3fcafc0f" "submodule"
"deinit" "--force" "--all"
2026-05-29 15:18.56: Exec: "git" "-C" "/tmp/git-checkout3fcafc0f" "reset"
"--hard" "-q" "7b74677090bd726ac0b13673292e251e4893eff2"
2026-05-29 15:18.57: Exec: "git" "-c" "protocol.file.allow=always" "-C"
"/tmp/git-checkout3fcafc0f" "submodule" "update"
"--recursive" "--init" "--no-fetch"
2026-05-29 15:18.57: Exec: "docker" "build" "--pull" "-f" "/tmp/git-checkout3fcafc0f/./Dockerfile"
"--iidfile" "/tmp/git-checkout3fcafc0f/docker-iid"
"--" "/tmp/git-checkout3fcafc0f"
Sending build context to Docker daemon 370.5MB
Step 1/44 : FROM ocaml/opam:alpine-3.20-ocaml-5.2 AS build
alpine-3.20-ocaml-5.2: Pulling from ocaml/opam
Digest: sha256:a1150220b350c6b8f92ad642705501daa9f5330524d398bab3aab7decacefc7d
Status: Image is up to date for ocaml/opam:alpine-3.20-ocaml-5.2
---> 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"
---> Using cache
---> 85a533d0d6f7
Step 9/44 : ENV GIT_COMMIT=${GIT_COMMIT}
---> Using cache
---> 2b2d226544c2
Step 10/44 : LABEL rocqproverorg=${GIT_COMMIT}
---> Using cache
---> 961f25b4ae1c
Step 11/44 : ARG GIT_BRANCH
---> Using cache
---> 6f025c272294
Step 12/44 : RUN echo "Based on branch: $GIT_BRANCH"
---> Using cache
---> 351d1aca627e
Step 13/44 : ENV GIT_BRANCH=${GIT_BRANCH}
---> Using cache
---> 2c137d6d32d4
Step 14/44 : LABEL rocqproverorg_branch=${GIT_BRANCH}
---> Using cache
---> f47e46fb65f8
Step 15/44 : COPY --chown=opam:opam . .
---> 50a251527ff4
Step 16/44 : RUN opam exec -- dune build @install --profile=release
---> Running in fa313343aab1
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 4015ms.
Removing intermediate container fa313343aab1
---> abf1d7017247
Step 17/44 : RUN git clone https://github.com/rocq-prover/opam.git rocq-opam-repository
---> Running in 25f1722c1575
Cloning into 'rocq-opam-repository'...
Updating files: 92% (3895/4226)
Updating files: 93% (3931/4226)
Updating files: 94% (3973/4226)
Updating files: 95% (4015/4226)
Updating files: 96% (4057/4226)
Updating files: 97% (4100/4226)
Updating files: 98% (4142/4226)
Updating files: 99% (4184/4226)
Updating files: 100% (4226/4226)
Updating files: 100% (4226/4226), done.
Removing intermediate container 25f1722c1575
---> 0fdd069ca097
Step 18/44 : RUN cd rocq-opam-repository && git checkout master && git pull origin master
---> Running in 3aabb835d6b0
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 3aabb835d6b0
---> 92ea543a7110
Step 19/44 : ENV ROCQPROVERORG_REPO_PATH=rocq-opam-repository
---> Running in 3be96548eb1a
Removing intermediate container 3be96548eb1a
---> f60ed36ccad8
Step 20/44 : ENV ROCQPROVERORG_PKG_STATE_PATH=package.state
---> Running in 3af063949960
Removing intermediate container 3af063949960
---> 9c6467875ef4
Step 21/44 : RUN touch package.state && ./init-cache package.state
---> Running in ed232597a3c9
PID=9
Setting up watches.
Watches established.
main.exe: [INFO] State cache file: package.state
main.exe: [INFO] Package state starting from scratch
29.05.26 15:21:24.085 Running on 0.0.0.0:8080 (http://localhost:8080)
29.05.26 15:21:24.085 Type Ctrl+C to stop
29.05.26 15:21:24.474 INFO Update server state
29.05.26 15:21:24.474 INFO Opam repository is currently at 72477860ab786cf1516d7336d405c73d730fe207
29.05.26 15:21:24.474 INFO Updating opam package list
29.05.26 15:21:24.474 INFO Calculating packages.. .
29.05.26 15:21:25.587 INFO Computing additional informations...
29.05.26 15:21:25.594 INFO Dependencies...
29.05.26 15:21:25.723 INFO Reverse dependencies...
29.05.26 15:21:25.867 INFO Publication dates...
29.05.26 15:21:26.791 INFO Generate package info
29.05.26 15:21:26.985 INFO Computing packages statistics...
29.05.26 15:21:27.015 INFO Loaded 575 packages
29.05.26 15:21:27.015 INFO Package state saved
package.state CLOSE_WRITE,CLOSE
Removing intermediate container ed232597a3c9
---> e45c438f6e62
Step 22/44 : FROM alpine:3.20 AS run
3.20: Pulling from library/alpine
Digest: sha256:d9e853e87e55526f6b2917df91a2115c36dd7c696a35be12163d44e6e2a4b6bc
Status: Image is up to date for alpine:3.20
---> bf8527eb54c3
Step 23/44 : ARG GIT_COMMIT
---> Using cache
---> 9c679d766a3b
Step 24/44 : RUN echo "Based on commit: $GIT_COMMIT"
---> Running in c66126e1e789
Based on commit:
Removing intermediate container c66126e1e789
---> 5f86cd0da493
Step 25/44 : ENV GIT_COMMIT=${GIT_COMMIT}
---> Running in 728a8db91671
Removing intermediate container 728a8db91671
---> 84f39b73a270
Step 26/44 : LABEL rocqproverorg=${GIT_COMMIT}
---> Running in fb3327832c43
Removing intermediate container fb3327832c43
---> 8d931c460ca5
Step 27/44 : ARG GIT_BRANCH
---> Running in ec16cede610d
Removing intermediate container ec16cede610d
---> 99e355ce024e
Step 28/44 : RUN echo "Based on branch: $GIT_BRANCH"
---> Running in e47c350d2bb6
Based on branch:
Removing intermediate container e47c350d2bb6
---> 1bbf8c601427
Step 29/44 : ENV GIT_BRANCH=${GIT_BRANCH}
---> Running in 567f8fe0f263
Removing intermediate container 567f8fe0f263
---> 79fab2e44401
Step 30/44 : LABEL rocqproverorg_branch=${GIT_BRANCH}
---> Running in d30adb55b4b1
Removing intermediate container d30adb55b4b1
---> 5295d07ba34f
Step 31/44 : RUN apk update && apk add --update libev gmp git
---> Running in 911bf73ff232
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-84-g40e2a7faf90 [https://dl-cdn.alpinelinux.org/alpine/v3.20/main]
v3.20.10-84-g40e2a7faf90 [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 911bf73ff232
---> 03dfe81a4ef9
Step 32/44 : RUN chmod -R 755 /var
---> Running in 8ff26bdcf9bf
Removing intermediate container 8ff26bdcf9bf
---> 5b2a0b9fa5c5
Step 33/44 : COPY --from=build /home/opam/package.state /var/package.state
---> 7b8e18f520bd
Step 34/44 : COPY --from=build /home/opam/rocq-opam-repository /var/opam-repository
---> 0d43a1cd0831
Step 35/44 : COPY --from=build /home/opam/_build/default/src/rocqproverorg_web/bin/main.exe /bin/server
---> 68f6b7213292
Step 36/44 : COPY playground/asset playground/asset
---> 2e0f75375c45
Step 37/44 : RUN git config --global --add safe.directory /var/opam-repository
---> Running in a6602d4fa7b5
Removing intermediate container a6602d4fa7b5
---> 3316e4701bbd
Step 38/44 : ENV ROCQPROVERORG_REPO_PATH=/var/opam-repository/
---> Running in dd04879c331f
Removing intermediate container dd04879c331f
---> 23f4adaf4e94
Step 39/44 : ENV DOC_PATH=/doc
---> Running in f3e219a3feab
Removing intermediate container f3e219a3feab
---> 6ad169cdd0a1
Step 40/44 : ENV ROCQPROVERORG_PKG_STATE_PATH=/var/package.state
---> Running in da92f8ef4b57
Removing intermediate container da92f8ef4b57
---> cb67b4653b47
Step 41/44 : ENV DREAM_VERBOSITY=info
---> Running in 2d09afd0f884
Removing intermediate container 2d09afd0f884
---> 7549d8011e54
Step 42/44 : ENV ROCQPROVERORG_HTTP_PORT=8080
---> Running in 97c6b489d496
Removing intermediate container 97c6b489d496
---> 3c75ea2d33be
Step 43/44 : EXPOSE 8080
---> Running in c2476cbc3cba
Removing intermediate container c2476cbc3cba
---> c12db3f39395
Step 44/44 : ENTRYPOINT [ "/bin/server" ]
---> Running in c0305de5d8a9
Removing intermediate container c0305de5d8a9
---> 98a96236d406
Successfully built 98a96236d406
2026-05-29 15:21.48: Job succeeded