2026-10-06 16:44.58: New job: build proverifdoc.2.05 (5890c340cc84)
2026-10-06 16:44.58: Waiting for resource in pool day11-builds
2026-10-06 16:46.37: Got resource from pool day11-builds
2026-10-06 16:46.37: [profile oxcaml-odoc-master] build proverifdoc.2.05
2026-10-06 16:46.37: build proverifdoc.2.05 (5890c340cc84)
=== DEPENDENCIES (0 transitive) ===

=== STDOUT ===
Processing: [default: loading data]
[proverifdoc.2.05: dl]
[proverifdoc.2.05: extract]
-> retrieved proverifdoc.2.05  (https://opam.ocaml.org/cache)
[proverifdoc: ./installdoc]
+ /home/opam/.opam/default/.opam-switch/build/proverifdoc.2.05/./installdoc "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/proverifdoc.2.05)
-> installed proverifdoc.2.05

=== STDERR ===

2026-10-06 16:47.11: OK: build proverifdoc.2.05 (runc: 1.6s, disk: 4KB)
2026-10-06 16:47.11: Job succeeded