2026-09-03 16:47.13: New job: build proverifdoc.2.02pl1 (2b58f3c90558)
2026-09-03 16:47.13: Waiting for resource in pool day11-builds
2026-09-03 16:54.14: Got resource from pool day11-builds
2026-09-03 16:54.14: [profile full] build proverifdoc.2.02pl1
2026-09-03 16:54.15: build proverifdoc.2.02pl1 (2b58f3c90558)
=== DEPENDENCIES (0 transitive) ===

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

=== STDERR ===

2026-09-03 16:54.29: OK: build proverifdoc.2.02pl1 (runc: 2.1s, disk: 4KB)
2026-09-03 16:54.29: Job succeeded