Build:
- 0
2026-04-06 09:53.28: New job: docker build {
"commit": "9ec8b1058d03175419b121aa6e47ab4203a25468",
"dockerfile": {
"file": "./Dockerfile"
},
"docker_context": null,
"squash": false,
"buildx": false,
"build_args": [],
"path": null
}
2026-04-06 09:53.28: Checking out commit 9ec8b105. To reproduce:
git clone --recursive "https://github.com/rocq-prover/rocq-prover.org.git" -b "update-gh-teams" && cd "rocq-prover.org" && git reset --hard 9ec8b105
2026-04-06 09:53.28: Exec: "cp" "-a" "--" "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0/.git"
"/tmp/git-checkout288bf216"
2026-04-06 09:53.31: Exec: "git" "-C" "/tmp/git-checkout288bf216" "submodule"
"deinit" "--force" "--all"
2026-04-06 09:53.31: Exec: "git" "-C" "/tmp/git-checkout288bf216" "reset"
"--hard" "-q" "9ec8b1058d03175419b121aa6e47ab4203a25468"
2026-04-06 09:53.32: Exec: "git" "-c" "protocol.file.allow=always" "-C"
"/tmp/git-checkout288bf216" "submodule" "update"
"--recursive" "--init" "--no-fetch"
2026-04-06 09:53.32: Exec: "docker" "build" "--pull" "-f" "/tmp/git-checkout288bf216/./Dockerfile"
"--iidfile" "/tmp/git-checkout288bf216/docker-iid"
"--" "/tmp/git-checkout288bf216"
Sending build context to Docker daemon 370.1MB
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 . .
---> 613c28ead7f2
Step 16/44 : RUN opam exec -- dune build @install --profile=release
---> Running in de7edd9939ef
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 3808ms.
Removing intermediate container de7edd9939ef
---> 633bab95ad96
Step 17/44 : RUN git clone https://github.com/rocq-prover/opam.git rocq-opam-repository
---> Running in 8537c53ba066
Cloning into 'rocq-opam-repository'...
Updating files: 90% (3780/4196)
Updating files: 91% (3819/4196)
Updating files: 92% (3861/4196)
Updating files: 93% (3903/4196)
Updating files: 94% (3945/4196)
Updating files: 95% (3987/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 8537c53ba066
---> a4a086d5175c
Step 18/44 : RUN cd rocq-opam-repository && git checkout master && git pull origin master
---> Running in a55d6555b4a3
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 a55d6555b4a3
---> f5e4f07bbe7d
Step 19/44 : ENV ROCQPROVERORG_REPO_PATH=rocq-opam-repository
---> Running in ed453ca8eb5d
Removing intermediate container ed453ca8eb5d
---> 4c7b510f53a2
Step 20/44 : ENV ROCQPROVERORG_PKG_STATE_PATH=package.state
---> Running in ad2538128021
Removing intermediate container ad2538128021
---> 84aac6eed5fa
Step 21/44 : RUN touch package.state && ./init-cache package.state
---> Running in b7cc02256092
PID=10
Setting up watches.
Watches established.
main.exe: [INFO] State cache file: package.state
main.exe: [INFO] Package state starting from scratch
06.04.26 09:55:30.518 Running on 0.0.0.0:8080 (http://localhost:8080)
06.04.26 09:55:30.518 Type Ctrl+C to stop
06.04.26 09:55:31.000 INFO Update server state
06.04.26 09:55:31.000 INFO Opam repository is currently at 2479e11b54b8016a2e5767842d7c6c88ca6a91c5
06.04.26 09:55:31.000 INFO Updating opam package list
06.04.26 09:55:31.000 INFO Calculating packages.. .
06.04.26 09:55:32.089 INFO Computing additional informations...
06.04.26 09:55:32.094 INFO Dependencies...
06.04.26 09:55:32.199 INFO Reverse dependencies...
06.04.26 09:55:32.345 INFO Publication dates...
06.04.26 09:55:33.474 INFO Generate package info
06.04.26 09:55:33.719 INFO Computing packages statistics...
06.04.26 09:55:33.763 INFO Loaded 565 packages
06.04.26 09:55:33.763 INFO Package state saved
package.state CLOSE_WRITE,CLOSE
Removing intermediate container b7cc02256092
---> d6d5c434a774
Step 22/44 : FROM alpine:3.20 AS run
3.20: Pulling from library/alpine
Digest: sha256:a4f4213abb84c497377b8544c81b3564f313746700372ec4fe84653e4fb03805
Status: Image is up to date for alpine:3.20
---> cc9071bd1610
Step 23/44 : ARG GIT_COMMIT
---> Using cache
---> 0f5e1e19991f
Step 24/44 : RUN echo "Based on commit: $GIT_COMMIT"
---> Using cache
---> c717b18e2992
Step 25/44 : ENV GIT_COMMIT=${GIT_COMMIT}
---> Using cache
---> 8a515149ab8a
Step 26/44 : LABEL rocqproverorg=${GIT_COMMIT}
---> Using cache
---> 5a78cb065acc
Step 27/44 : ARG GIT_BRANCH
---> Using cache
---> 75e502c7736d
Step 28/44 : RUN echo "Based on branch: $GIT_BRANCH"
---> Using cache
---> 23efa49b9dc2
Step 29/44 : ENV GIT_BRANCH=${GIT_BRANCH}
---> Using cache
---> e4b7f4560e9b
Step 30/44 : LABEL rocqproverorg_branch=${GIT_BRANCH}
---> Using cache
---> 5da152de92fc
Step 31/44 : RUN apk update && apk add --update libev gmp git
---> Using cache
---> 8775e68471fd
Step 32/44 : RUN chmod -R 755 /var
---> Using cache
---> a55564da9264
Step 33/44 : COPY --from=build /home/opam/package.state /var/package.state
---> Using cache
---> f4368584c1b8
Step 34/44 : COPY --from=build /home/opam/rocq-opam-repository /var/opam-repository
---> 5974331366dc
Step 35/44 : COPY --from=build /home/opam/_build/default/src/rocqproverorg_web/bin/main.exe /bin/server
---> a39148b1d80d
Step 36/44 : COPY playground/asset playground/asset
---> 914d0d97194f
Step 37/44 : RUN git config --global --add safe.directory /var/opam-repository
---> Running in a49d6a5d0ecf
Removing intermediate container a49d6a5d0ecf
---> 96bc57d8b1da
Step 38/44 : ENV ROCQPROVERORG_REPO_PATH=/var/opam-repository/
---> Running in ae19898ef7f8
Removing intermediate container ae19898ef7f8
---> c1218c4cb9d4
Step 39/44 : ENV DOC_PATH=/doc
---> Running in 48d9b84b62ea
Removing intermediate container 48d9b84b62ea
---> ee9c9c5e94e6
Step 40/44 : ENV ROCQPROVERORG_PKG_STATE_PATH=/var/package.state
---> Running in 508075ff69e2
Removing intermediate container 508075ff69e2
---> c038263047c3
Step 41/44 : ENV DREAM_VERBOSITY=info
---> Running in e1fe5a4d6b79
Removing intermediate container e1fe5a4d6b79
---> 86796733770e
Step 42/44 : ENV ROCQPROVERORG_HTTP_PORT=8080
---> Running in dc7620efd465
Removing intermediate container dc7620efd465
---> 378131139ab6
Step 43/44 : EXPOSE 8080
---> Running in 3f1276bf186c
Removing intermediate container 3f1276bf186c
---> 0be23556111b
Step 44/44 : ENTRYPOINT [ "/bin/server" ]
---> Running in 4b943eb7975b
Removing intermediate container 4b943eb7975b
---> 33a2985cfb17
Successfully built 33a2985cfb17
2026-04-06 09:55.53: Job succeeded