Build:
- 0
2026-05-18 08:58.10: New job: docker build {
"commit": "1dea00fc66395b29d31be2e9cc1c8c79057b0591",
"dockerfile": {
"file": "./Dockerfile"
},
"docker_context": null,
"squash": false,
"buildx": false,
"build_args": [],
"path": null
}
2026-05-18 08:58.10: Checking out commit 1dea00fc. To reproduce:
git clone --recursive "https://github.com/rocq-prover/rocq-prover.org.git" && cd "rocq-prover.org" && git fetch origin "refs/pull/255/head" && git reset --hard 1dea00fc
2026-05-18 08:58.10: Exec: "cp" "-a" "--" "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0/.git"
"/tmp/git-checkout1b2840dc"
2026-05-18 08:58.16: Exec: "git" "-C" "/tmp/git-checkout1b2840dc" "submodule"
"deinit" "--force" "--all"
2026-05-18 08:58.16: Exec: "git" "-C" "/tmp/git-checkout1b2840dc" "reset"
"--hard" "-q" "1dea00fc66395b29d31be2e9cc1c8c79057b0591"
2026-05-18 08:58.17: Exec: "git" "-c" "protocol.file.allow=always" "-C"
"/tmp/git-checkout1b2840dc" "submodule" "update"
"--recursive" "--init" "--no-fetch"
2026-05-18 08:58.17: Exec: "docker" "build" "--pull" "-f" "/tmp/git-checkout1b2840dc/./Dockerfile"
"--iidfile" "/tmp/git-checkout1b2840dc/docker-iid"
"--" "/tmp/git-checkout1b2840dc"
Sending build context to Docker daemon 370.3MB
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 . .
---> e76c73d4f454
Step 16/44 : RUN opam exec -- dune build @install --profile=release
---> Running in 4cce4a512acf
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 6949ms.
Removing intermediate container 4cce4a512acf
---> 22ca62b0e2bd
Step 17/44 : RUN git clone https://github.com/rocq-prover/opam.git rocq-opam-repository
---> Running in a5dc2fced048
Cloning into 'rocq-opam-repository'...
Updating files: 54% (2288/4216)
Updating files: 55% (2319/4216)
Updating files: 56% (2361/4216)
Updating files: 57% (2404/4216)
Updating files: 58% (2446/4216)
Updating files: 59% (2488/4216)
Updating files: 60% (2530/4216)
Updating files: 61% (2572/4216)
Updating files: 62% (2614/4216)
Updating files: 63% (2657/4216)
Updating files: 64% (2699/4216)
Updating files: 65% (2741/4216)
Updating files: 66% (2783/4216)
Updating files: 67% (2825/4216)
Updating files: 68% (2867/4216)
Updating files: 69% (2910/4216)
Updating files: 70% (2952/4216)
Updating files: 71% (2994/4216)
Updating files: 72% (3036/4216)
Updating files: 73% (3078/4216)
Updating files: 74% (3120/4216)
Updating files: 75% (3162/4216)
Updating files: 76% (3205/4216)
Updating files: 77% (3247/4216)
Updating files: 78% (3289/4216)
Updating files: 79% (3331/4216)
Updating files: 80% (3373/4216)
Updating files: 81% (3415/4216)
Updating files: 82% (3458/4216)
Updating files: 83% (3500/4216)
Updating files: 84% (3542/4216)
Updating files: 85% (3584/4216)
Updating files: 86% (3626/4216)
Updating files: 87% (3668/4216)
Updating files: 88% (3711/4216)
Updating files: 89% (3753/4216)
Updating files: 90% (3795/4216)
Updating files: 91% (3837/4216)
Updating files: 92% (3879/4216)
Updating files: 93% (3921/4216)
Updating files: 94% (3964/4216)
Updating files: 95% (4006/4216)
Updating files: 96% (4048/4216)
Updating files: 97% (4090/4216)
Updating files: 98% (4132/4216)
Updating files: 99% (4174/4216)
Updating files: 100% (4216/4216)
Updating files: 100% (4216/4216), done.
Removing intermediate container a5dc2fced048
---> 12dca6b6eb07
Step 18/44 : RUN cd rocq-opam-repository && git checkout master && git pull origin master
---> Running in c052e5f7f588
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 c052e5f7f588
---> d527d762185e
Step 19/44 : ENV ROCQPROVERORG_REPO_PATH=rocq-opam-repository
---> Running in 58572771fed0
Removing intermediate container 58572771fed0
---> 9974f13f3210
Step 20/44 : ENV ROCQPROVERORG_PKG_STATE_PATH=package.state
---> Running in 8adc74436284
Removing intermediate container 8adc74436284
---> 3c19cb02edd1
Step 21/44 : RUN touch package.state && ./init-cache package.state
---> Running in a9fd74cfc075
PID=10
Setting up watches.
Watches established.
main.exe: [INFO] State cache file: package.state
main.exe: [INFO] Package state starting from scratch
18.05.26 09:02:08.619 Running on 0.0.0.0:8080 (http://localhost:8080)
18.05.26 09:02:08.619 Type Ctrl+C to stop
18.05.26 09:02:09.106 INFO Update server state
18.05.26 09:02:09.106 INFO Opam repository is currently at 424025815c9e4af2929938165acb3ed21eb7e0e7
18.05.26 09:02:09.106 INFO Updating opam package list
18.05.26 09:02:09.106 INFO Calculating packages.. .
18.05.26 09:02:09.951 INFO Computing additional informations...
18.05.26 09:02:09.956 INFO Dependencies...
18.05.26 09:02:10.048 INFO Reverse dependencies...
18.05.26 09:02:10.156 INFO Publication dates...
18.05.26 09:02:10.929 INFO Generate package info
18.05.26 09:02:11.071 INFO Computing packages statistics...
18.05.26 09:02:11.104 INFO Loaded 574 packages
18.05.26 09:02:11.104 INFO Package state saved
package.state CLOSE_WRITE,CLOSE
Removing intermediate container a9fd74cfc075
---> dca7a4475c98
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"
---> Using cache
---> 5ac1667ccebf
Step 25/44 : ENV GIT_COMMIT=${GIT_COMMIT}
---> Using cache
---> eed62b3b6ce8
Step 26/44 : LABEL rocqproverorg=${GIT_COMMIT}
---> Using cache
---> c270c49472ab
Step 27/44 : ARG GIT_BRANCH
---> Using cache
---> f75d592db4b8
Step 28/44 : RUN echo "Based on branch: $GIT_BRANCH"
---> Using cache
---> 7bb536fadd39
Step 29/44 : ENV GIT_BRANCH=${GIT_BRANCH}
---> Using cache
---> 101b79827a66
Step 30/44 : LABEL rocqproverorg_branch=${GIT_BRANCH}
---> Using cache
---> 169dabba60f6
Step 31/44 : RUN apk update && apk add --update libev gmp git
---> Using cache
---> 429a21c1d9a4
Step 32/44 : RUN chmod -R 755 /var
---> Using cache
---> 219e5d5338b7
Step 33/44 : COPY --from=build /home/opam/package.state /var/package.state
---> 03691aef00b4
Step 34/44 : COPY --from=build /home/opam/rocq-opam-repository /var/opam-repository
---> 49616bb184f2
Step 35/44 : COPY --from=build /home/opam/_build/default/src/rocqproverorg_web/bin/main.exe /bin/server
---> 100f582de839
Step 36/44 : COPY playground/asset playground/asset
---> 465647f7e4df
Step 37/44 : RUN git config --global --add safe.directory /var/opam-repository
---> Running in 9890671e7cfc
Removing intermediate container 9890671e7cfc
---> d99b7753d8e1
Step 38/44 : ENV ROCQPROVERORG_REPO_PATH=/var/opam-repository/
---> Running in 2885b933041a
Removing intermediate container 2885b933041a
---> f9b14fd269ab
Step 39/44 : ENV DOC_PATH=/doc
---> Running in ae0f206378e6
Removing intermediate container ae0f206378e6
---> b20afb672135
Step 40/44 : ENV ROCQPROVERORG_PKG_STATE_PATH=/var/package.state
---> Running in da57b4b7dd84
Removing intermediate container da57b4b7dd84
---> 60928f98da26
Step 41/44 : ENV DREAM_VERBOSITY=info
---> Running in b94c977d1018
Removing intermediate container b94c977d1018
---> 6a010747c1fb
Step 42/44 : ENV ROCQPROVERORG_HTTP_PORT=8080
---> Running in b34df5b19709
Removing intermediate container b34df5b19709
---> a05fd33a6351
Step 43/44 : EXPOSE 8080
---> Running in db89a62a3c60
Removing intermediate container db89a62a3c60
---> 8c1f27d5b4a3
Step 44/44 : ENTRYPOINT [ "/bin/server" ]
---> Running in 00f6fb6fffd3
Removing intermediate container 00f6fb6fffd3
---> 33505026125f
Successfully built 33505026125f
2026-05-18 09:02.33: Job succeeded