ocaml-docs-ci

Build:
2026-07-14 19:07.29: New job: build proverif.1.98pl1 (36dc8b233817)
2026-07-14 19:07.29: Waiting for resource in pool day11-builds
2026-07-14 19:50.53: Got resource from pool day11-builds
2026-07-14 19:50.53: [profile full] build proverif.1.98pl1
2026-07-14 19:50.53: build proverif.1.98pl1 (36dc8b233817)
=== DEPENDENCIES (13 transitive) ===
  base-threads.base                                  afe16a8e71c3
  base-unix.base                                     73c0a5fdd34a
  camlp-streams.5.0.1                                e51e81126475
  compiler-cloning.enabled                           22a431860256
  conf-gtk2.1                                        51660ba4401a
  conf-pkg-config.5                                  2c611009363a
  dune.3.24.0                                        e560b9225410
  lablgtk.2.18.14                                    702641606835
  ocaml.5.5.0                                        7f4ed97746d4
  ocaml-base-compiler.5.5.0                          90499340edf4
  ocaml-compiler.5.5.0                               0ffda1968820
  ocamlbuild.0.16.1                                  699ceab44989
  ocamlfind.1.9.8                                    e349f5c7ccdf
=== STDOUT ===
Processing: [default: loading data]
[proverif.1.98pl1: dl]
[proverif.1.98pl1: extract]
-> retrieved proverif.1.98pl1  (https://opam.ocaml.org/cache)
[proverif: ./build ocb.native]
+ /home/opam/.opam/default/.opam-switch/build/proverif.1.98pl1/./build "ocb.native" (CWD=/home/opam/.opam/default/.opam-switch/build/proverif.1.98pl1)
- + ocamlfind ocamlc -config
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamldep -modules main.ml > main.ml.depends
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamldep -modules destructor.mli > destructor.mli.depends
- + ocamlfind ocamldep -modules types.mli > types.mli.depends
- + ocamlfind ocamldep -modules stringmap.mli > stringmap.mli.depends
- + ocamlfind ocamlc -c -o stringmap.cmi stringmap.mli
- + ocamlfind ocamlc -c -o stringmap.cmi stringmap.mli
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamlc -c -o types.cmi types.mli
- + ocamlfind ocamlc -c -o types.cmi types.mli
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamldep -modules display.mli > display.mli.depends
- + ocamlfind ocamldep -modules pitypes.mli > pitypes.mli.depends
- + ocamlfind ocamlc -c -o pitypes.cmi pitypes.mli
- + ocamlfind ocamlc -c -o pitypes.cmi pitypes.mli
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamldep -modules history.mli > history.mli.depends
- + ocamlfind ocamldep -modules param.mli > param.mli.depends
- + ocamlfind ocamldep -modules parsing_helper.mli > parsing_helper.mli.depends
- + ocamlfind ocamldep -modules ptree.mli > ptree.mli.depends
- + ocamlfind ocamlc -c -o parsing_helper.cmi parsing_helper.mli
- + ocamlfind ocamlc -c -o parsing_helper.cmi parsing_helper.mli
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamlc -c -o ptree.cmi ptree.mli
- + ocamlfind ocamlc -c -o ptree.cmi ptree.mli
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamldep -modules piauth.mli > piauth.mli.depends
- + ocamlfind ocamldep -modules pisyntax.mli > pisyntax.mli.depends
- + ocamlfind ocamldep -modules piptree.mli > piptree.mli.depends
- + ocamlfind ocamlc -c -o piptree.cmi piptree.mli
- + ocamlfind ocamlc -c -o piptree.cmi piptree.mli
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamldep -modules pitransl.mli > pitransl.mli.depends
- + ocamlfind ocamldep -modules pitranslweak.mli > pitranslweak.mli.depends
- + ocamlfind ocamldep -modules pitsyntax.mli > pitsyntax.mli.depends
- + ocamlfind ocamldep -modules pitptree.mli > pitptree.mli.depends
- + ocamlfind ocamlc -c -o pitptree.cmi pitptree.mli
- + ocamlfind ocamlc -c -o pitptree.cmi pitptree.mli
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamldep -modules proswapper.mli > proswapper.mli.depends
- + ocamlfind ocamldep -modules reduction.mli > reduction.mli.depends
- + ocamlfind ocamlc -c -o history.cmi history.mli
- + ocamlfind ocamlc -c -o history.cmi history.mli
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamldep -modules reduction_bipro.mli > reduction_bipro.mli.depends
- + ocamlfind ocamldep -package str -modules reduction_helper.mli > reduction_helper.mli.depends
- + ocamlfind ocamldep -modules rules.mli > rules.mli.depends
- + ocamlfind ocamldep -modules selfun.mli > selfun.mli.depends
- + ocamlfind ocamldep -modules pvqueue.mli > pvqueue.mli.depends
- + ocamlfind ocamlc -c -o pvqueue.cmi pvqueue.mli
- + ocamlfind ocamlc -c -o pvqueue.cmi pvqueue.mli
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamldep -modules simplify.mli > simplify.mli.depends
- + ocamlfind ocamldep -modules spassout.mli > spassout.mli.depends
- + ocamlfind ocamldep -modules syntax.mli > syntax.mli.depends
- + ocamlfind ocamldep -modules terms.mli > terms.mli.depends
- + ocamlfind ocamldep -modules termsEq.mli > termsEq.mli.depends
- + ocamlfind ocamldep -modules tsyntax.mli > tsyntax.mli.depends
- + ocamlfind ocamlc -c -o destructor.cmi destructor.mli
- + ocamlfind ocamlc -c -o destructor.cmi destructor.mli
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamlc -c -o display.cmi display.mli
- + ocamlfind ocamlc -c -o display.cmi display.mli
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamlc -c -o param.cmi param.mli
- + ocamlfind ocamlc -c -o param.cmi param.mli
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamlc -c -o piauth.cmi piauth.mli
- + ocamlfind ocamlc -c -o piauth.cmi piauth.mli
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamlc -c -o pisyntax.cmi pisyntax.mli
- + ocamlfind ocamlc -c -o pisyntax.cmi pisyntax.mli
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamlc -c -o pitransl.cmi pitransl.mli
- + ocamlfind ocamlc -c -o pitransl.cmi pitransl.mli
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamlc -c -o pitranslweak.cmi pitranslweak.mli
- + ocamlfind ocamlc -c -o pitranslweak.cmi pitranslweak.mli
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamlc -c -o pitsyntax.cmi pitsyntax.mli
- + ocamlfind ocamlc -c -o pitsyntax.cmi pitsyntax.mli
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamlc -c -o proswapper.cmi proswapper.mli
- + ocamlfind ocamlc -c -o proswapper.cmi proswapper.mli
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamlc -c -o reduction.cmi reduction.mli
- + ocamlfind ocamlc -c -o reduction.cmi reduction.mli
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamlc -c -o reduction_bipro.cmi reduction_bipro.mli
- + ocamlfind ocamlc -c -o reduction_bipro.cmi reduction_bipro.mli
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamlc -c -package str -o reduction_helper.cmi reduction_helper.mli
- + ocamlfind ocamlc -c -package str -o reduction_helper.cmi reduction_helper.mli
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamlc -c -o rules.cmi rules.mli
- + ocamlfind ocamlc -c -o rules.cmi rules.mli
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamlc -c -o selfun.cmi selfun.mli
- + ocamlfind ocamlc -c -o selfun.cmi selfun.mli
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamlc -c -o simplify.cmi simplify.mli
- + ocamlfind ocamlc -c -o simplify.cmi simplify.mli
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamlc -c -o spassout.cmi spassout.mli
- + ocamlfind ocamlc -c -o spassout.cmi spassout.mli
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamlc -c -o syntax.cmi syntax.mli
- + ocamlfind ocamlc -c -o syntax.cmi syntax.mli
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamlc -c -o terms.cmi terms.mli
- + ocamlfind ocamlc -c -o terms.cmi terms.mli
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamlc -c -o termsEq.cmi termsEq.mli
- + ocamlfind ocamlc -c -o termsEq.cmi termsEq.mli
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamlc -c -o tsyntax.cmi tsyntax.mli
- + ocamlfind ocamlc -c -o tsyntax.cmi tsyntax.mli
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- + ocamlfind ocamlc -c -o main.cmo main.ml
- + ocamlfind ocamlc -c -o main.cmo main.ml
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- File "main.ml", line 337, characters 14-30:
- 337 | 	  let s_up = String.uppercase s in
-       	             ^^^^^^^^^^^^^^^^
- Error: Unbound value String.uppercase
- Command exited with code 2.
-> compiled  proverif.1.98pl1
[proverif: ./build install]
+ /home/opam/.opam/default/.opam-switch/build/proverif.1.98pl1/./build "install" "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/proverif.1.98pl1)
- cp: cannot stat 'proverif': No such file or directory
[ERROR] The installation of proverif failed at "./build install /home/opam/.opam/default".
[proverif: rm]
+ /usr/bin/rm "-rf" "/home/opam/.opam/default/doc/proverif" "/home/opam/.opam/default/bin/proverif" "/home/opam/.opam/default/bin/proveriftotex" "/home/opam/.opam/default/bin/proverif_interact" "/home/opam/.opam/default/bin/proverif.exe" "/home/opam/.opam/default/bin/proveriftotex.exe" "/home/opam/.opam/default/bin/proverif_interact.exe" (CWD=/home/opam/.opam/default/.opam-switch/build/proverif.1.98pl1)
install failed... 

=== STDERR ===

2026-07-14 19:51.22: FAILED: build proverif.1.98pl1
2026-07-14 19:51.22: Job failed: build failed: proverif.1.98pl1