2026-10-22 13:57.28: New job: docker build {
                                             "commit": "4567e73401acc4b22482ce9c6d812e972deeb829",
                                             "dockerfile": {
                                               "file": "./Dockerfile"
                                             },
                                             "docker_context": null,
                                             "squash": false,
                                             "buildx": false,
                                             "build_args": [],
                                             "path": null
                                           }
2026-10-22 13:57.28: Waiting for resource in pool docker
2026-10-22 14:03.36: Got resource from pool docker
2026-10-22 14:03.36: Checking out commit 4567e734. To reproduce:
                       git clone --recursive "https://github.com/rocq-prover/rocq-prover.org.git" -b "fix-SSL3-issue" && cd "rocq-prover.org" && git reset --hard 4567e734
2026-10-22 14:03.36: Exec: "cp" "-a" "--" "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0/.git" 
                           "/tmp/git-checkout2027a88e"
2026-10-22 14:03.38: Exec: "git" "-C" "/tmp/git-checkout2027a88e" "submodule" 
                           "deinit" "--force" "--all"
2026-10-22 14:03.38: Exec: "git" "-C" "/tmp/git-checkout2027a88e" "reset" 
                           "--hard" "-q" "4567e73401acc4b22482ce9c6d812e972deeb829"
2026-10-22 14:03.39: Exec: "git" "-c" "protocol.file.allow=always" "-C" 
                           "/tmp/git-checkout2027a88e" "submodule" "update" 
                           "--recursive" "--init" "--no-fetch"
2026-10-22 14:03.39: Exec: "docker" "build" "--pull" "-f" "/tmp/git-checkout2027a88e/./Dockerfile" 
                           "--iidfile" "/tmp/git-checkout2027a88e/docker-iid" 
                           "--" "/tmp/git-checkout2027a88e"
Sending build context to Docker daemon  370.8MB

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
 ---> 596f54bcd6cd
Step 6/44 : RUN opam install . --deps-only
 ---> Running in 551f2181f393
The following additional pinnings are required by rocqproverorg.~dev:
  - river.dev at git+https://github.com/aantron/river#476dc945a908a69548bddd267f143a3e5d9c8a1a
  - olinkcheck.~dev at git+https://github.com/tarides/olinkcheck
  - ssl.0.8.0 at git+https://github.com/balat/ocaml-ssl#b9088ef7ac27f594d399867c45d00e8055d527fa
Continue? [Y/n] y
[river.dev: git]
[river.dev: git]
[river.dev: git]
[river.dev: git]
[river.dev: git]
[river.dev: git]
[river.dev: git]
[river.dev: git]
[river.dev: git]
[river.dev] synchronised from git+https://github.com/aantron/river#476dc945a908a69548bddd267f143a3e5d9c8a1a
river is now pinned to git+https://github.com/aantron/river#476dc945a908a69548bddd267f143a3e5d9c8a1a (version dev)
Package olinkcheck does not exist, create as a NEW package? [Y/n] y
[olinkcheck.~dev: git]
[olinkcheck.~dev: git]
[olinkcheck.~dev: git]
[olinkcheck.~dev: git]
[olinkcheck.~dev: git]
[olinkcheck.~dev: git]
[olinkcheck.~dev: git]
[olinkcheck.~dev: git]
[olinkcheck.~dev] synchronised from git+https://github.com/tarides/olinkcheck
olinkcheck is now pinned to git+https://github.com/tarides/olinkcheck (version ~dev)
[ssl.0.8.0: git]
[ssl.0.8.0: git]
[ssl.0.8.0: git]
[ssl.0.8.0: git]
[ssl.0.8.0: git]
[ssl.0.8.0: git]
[ssl.0.8.0: git]
[ssl.0.8.0: git]
[ssl.0.8.0] synchronised from git+https://github.com/balat/ocaml-ssl#b9088ef7ac27f594d399867c45d00e8055d527fa
ssl is now pinned to git+https://github.com/balat/ocaml-ssl#b9088ef7ac27f594d399867c45d00e8055d527fa (version 0.8.0)
The following dependencies couldn't be met:
  - rocqproverorg -> ssl >= 0.8.0 -> dune >= 3.23
      no matching version

No solution found, exiting
The command '/bin/sh -c opam install . --deps-only' returned a non-zero code: 20
2026-10-22 14:06.18: Job failed: Docker build exited with status 20