Build:
- 0
2026-11-02 08:52.03: New job: docker build {
"commit": "88ca18f0415f767c08726ac39f161566b2522c1d",
"dockerfile": {
"file": "./Dockerfile"
},
"docker_context": null,
"squash": false,
"buildx": false,
"build_args": [],
"path": null
}
2026-11-02 08:52.03: Checking out commit 88ca18f0. To reproduce:
git clone --recursive "https://github.com/rocq-prover/rocq-prover.org.git" -b "broken-links" && cd "rocq-prover.org" && git reset --hard 88ca18f0
2026-11-02 08:52.03: Exec: "cp" "-a" "--" "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0/.git"
"/tmp/git-checkout130f5863"
2026-11-02 08:52.08: Exec: "git" "-C" "/tmp/git-checkout130f5863" "submodule"
"deinit" "--force" "--all"
2026-11-02 08:52.08: Exec: "git" "-C" "/tmp/git-checkout130f5863" "reset"
"--hard" "-q" "88ca18f0415f767c08726ac39f161566b2522c1d"
2026-11-02 08:52.09: Exec: "git" "-c" "protocol.file.allow=always" "-C"
"/tmp/git-checkout130f5863" "submodule" "update"
"--recursive" "--init" "--no-fetch"
2026-11-02 08:52.09: Exec: "docker" "build" "--pull" "-f" "/tmp/git-checkout130f5863/./Dockerfile"
"--iidfile" "/tmp/git-checkout130f5863/docker-iid"
"--" "/tmp/git-checkout130f5863"
Sending build context to Docker daemon 371.2MB
Step 1/41 : FROM ocaml/opam:alpine-3.24-ocaml-5.2 AS build
alpine-3.24-ocaml-5.2: Pulling from ocaml/opam
Digest: sha256:ca21679735ca8628fbf994216ad31b0a7cf60c9a781dca3898cb60c53cca3e2e
Status: Image is up to date for ocaml/opam:alpine-3.24-ocaml-5.2
---> 16caaf4c73fb
Step 2/41 : RUN sudo apk -U upgrade --no-cache && sudo apk add --no-cache autoconf curl-dev gmp-dev inotify-tools libev-dev oniguruma-dev openssl-dev
---> Using cache
---> fe5410a99932
Step 3/41 : RUN sudo mv /usr/bin/opam-2.2 /usr/bin/opam && opam update
---> Using cache
---> d6f132169732
Step 4/41 : RUN opam option --global 'archive-mirrors+="https://opam.ocaml.org/cache"'
---> Using cache
---> e1df0b003d9f
Step 5/41 : RUN cd ~/opam-repository && git reset --hard 8cdfa3296d9bc7d93273f46eb2438757e4fd5cf0 && opam update
---> Using cache
---> a774e9c3472f
Step 6/41 : WORKDIR /home/opam
---> Using cache
---> ccd2f4c697c6
Step 7/41 : COPY --chown=opam rocqproverorg.opam .
---> Using cache
---> 3d248088c6fe
Step 8/41 : RUN OPAMSOLVERTIMEOUT=300 opam install . --deps-only
---> Using cache
---> 9d752773b813
Step 9/41 : ARG GIT_COMMIT
---> Using cache
---> e6ce792ed7d7
Step 10/41 : RUN echo "Based on commit: $GIT_COMMIT"
---> Using cache
---> 9a1f4e711b8f
Step 11/41 : ENV GIT_COMMIT=${GIT_COMMIT}
---> Using cache
---> dd5d8b7db5f9
Step 12/41 : LABEL rocqproverorg=${GIT_COMMIT}
---> Using cache
---> 5ab62824a0e0
Step 13/41 : ARG GIT_BRANCH
---> Using cache
---> df09d569814d
Step 14/41 : RUN echo "Based on branch: $GIT_BRANCH"
---> Using cache
---> 2a82c6720fbf
Step 15/41 : ENV GIT_BRANCH=${GIT_BRANCH}
---> Using cache
---> 49e4a2715a39
Step 16/41 : LABEL rocqproverorg_branch=${GIT_BRANCH}
---> Using cache
---> bb7f27171283
Step 17/41 : COPY --chown=opam:opam . .
---> fce851647b53
Step 18/41 : RUN opam exec -- dune build @install --profile=release
---> Running in fd4e78c8fba6
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 4549ms.
File "dune", lines 67-77, characters 1-256:
67 | (rule
68 | (target events.xml)
69 | (deps
70 | (source_tree %{project_root}/data/events)
71 | (:gen_feed %{project_root}/tool/data-packer/bin/gen_feed.exe))
72 | (action
73 | (chdir
74 | %{project_root}
75 | (with-stdout-to
76 | %{target}
77 | (run %{gen_feed} events))))))
data-feed: internal error, uncaught exception:
Data_packer.Exn.Decode_error("data/events/2026-oplss.md : error calling parser: mapping values are not allowed in this context character 0 position 0 returned: 0")
Raised at Rocqproverorg__Import.Result.get_ok.(fun) in file "src/global/import.ml", line 106, characters 55-70
Called from Data_packer__Event_parser.all in file "tool/data-packer/lib/event_parser.ml", line 75, characters 2-68
Called from Data_packer__Event_parser.EventsFeed.create_feed in file "tool/data-packer/lib/event_parser.ml", line 119, characters 4-13
Called from Dune__exe__Gen_feed.cmds.(fun) in file "tool/data-packer/bin/gen_feed.ml", line 10, characters 48-64
Called from Cmdliner_term.app.(fun) in file "cmdliner_term.ml", line 22, characters 19-24
Called from Cmdliner_eval.run_parser in file "cmdliner_eval.ml", line 41, characters 7-16
File "dune", lines 25-35, characters 1-256:
25 | (rule
26 | (target planet.xml)
27 | (deps
28 | (source_tree %{project_root}/data/planet)
29 | (:gen_feed %{project_root}/tool/data-packer/bin/gen_feed.exe))
30 | (action
31 | (chdir
32 | %{project_root}
33 | (with-stdout-to
34 | %{target}
35 | (run %{gen_feed} planet))))))
data-feed: internal error, uncaught exception:
Data_packer.Exn.Decode_error("data/events/2026-oplss.md : error calling parser: mapping values are not allowed in this context character 0 position 0 returned: 0")
Raised at Rocqproverorg__Import.Result.get_ok.(fun) in file "src/global/import.ml", line 106, characters 55-70
Called from Data_packer__Event_parser.all in file "tool/data-packer/lib/event_parser.ml", line 75, characters 2-68
Called from Data_packer__Planet_parser.GlobalFeed.create_events_announcement_entry in file "tool/data-packer/lib/planet_parser.ml", line 38, characters 6-25
Called from Data_packer__Planet_parser.GlobalFeed.create_feed in file "tool/data-packer/lib/planet_parser.ml", line 149, characters 10-45
Called from Dune__exe__Gen_feed.cmds.(fun) in file "tool/data-packer/bin/gen_feed.ml", line 10, characters 48-64
Called from Cmdliner_term.app.(fun) in file "cmdliner_term.ml", line 22, characters 19-24
Called from Cmdliner_eval.run_parser in file "cmdliner_eval.ml", line 41, characters 7-16
File "src/rocqproverorg_data/dune", lines 25-33, characters 0-205:
25 | (rule
26 | (target data.bin)
27 | (deps
28 | (source_tree %{workspace_root}/data)
29 | (:packer %{workspace_root}/tool/data-packer/bin/pack.exe))
30 | (action
31 | (chdir
32 | %{workspace_root}
33 | (run %{packer} -o %{target}))))
data-pack: internal error, uncaught exception:
Data_packer.Exn.Decode_error("data/events/2026-oplss.md : error calling parser: mapping values are not allowed in this context character 0 position 0 returned: 0")
Raised at Rocqproverorg__Import.Result.get_ok.(fun) in file "src/global/import.ml", line 106, characters 55-70
Called from Data_packer__Event_parser.all in file "tool/data-packer/lib/event_parser.ml", line 75, characters 2-68
Called from Data_packer__Packer.load_all in file "tool/data-packer/lib/packer.ml", line 31, characters 13-32
Called from Dune__exe__Pack.pack in file "tool/data-packer/bin/pack.ml", line 10, characters 13-43
Called from Cmdliner_term.app.(fun) in file "cmdliner_term.ml", line 22, characters 19-24
Called from Cmdliner_term.ret.(fun) in file "cmdliner_term.ml", line 39, characters 25-32
Called from Cmdliner_eval.run_parser in file "cmdliner_eval.ml", line 41, characters 7-16
The command '/bin/sh -c opam exec -- dune build @install --profile=release' returned a non-zero code: 1
2026-11-02 08:53.25: Job failed: Docker build exited with status 1