2026-10-06 17:32.36: New job: build safa.1.4 (4517709a136d)
2026-10-06 17:32.36: Waiting for resource in pool day11-builds
2026-10-06 17:37.17: Got resource from pool day11-builds
2026-10-06 17:37.17: [profile oxcaml-odoc-master] build safa.1.4
2026-10-06 17:37.17: build safa.1.4 (4517709a136d)
=== DEPENDENCIES (8 transitive) ===
  conf-autoconf.1                                    8ee1e3913008
  conf-which.1                                       65c43ca119c3
  ocaml.5.2.0                                        879ae859f814
  ocaml-config.3                                     37112a8040f8
  ocaml-variants.5.2.0+ox                            8119d9341417
  ocamlbuild.0.16.1+ox                               c3cff747c7d3
  ocamlfind.1.9.8+ox                                 665ae3389aa8
  oxcaml-compiler.5.2.0minus39                       72925b65bf23
=== STDOUT ===
Processing: [default: loading data]
[safa.1.4: dl]
[safa.1.4: extract]
-> retrieved safa.1.4  (https://opam.ocaml.org/cache)
[safa: make]
+ /usr/bin/make  (CWD=/home/opam/.opam/default/.opam-switch/build/safa.1.4)
- ocamlbuild safa.cma
- + /home/opam/.opam/default/bin/ocamlc.opt -config
- + /home/opam/.opam/default/bin/ocamldep.opt -modules hashcons.mli > hashcons.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o hashcons.cmi hashcons.mli
- + /home/opam/.opam/default/bin/ocamldep.opt -modules hashcons.ml > hashcons.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules hset.mli > hset.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o hset.cmi hset.mli
- + /home/opam/.opam/default/bin/ocamldep.opt -modules hset.ml > hset.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules hmap.mli > hmap.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o hmap.cmi hmap.mli
- + /home/opam/.opam/default/bin/ocamldep.opt -modules hmap.ml > hmap.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules sets.mli > sets.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o sets.cmi sets.mli
- + /home/opam/.opam/default/bin/ocamldep.opt -modules sets.ml > sets.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules common.mli > common.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o common.cmi common.mli
- + /home/opam/.opam/default/bin/ocamldep.opt -modules common.ml > common.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules queues.mli > queues.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o queues.cmi queues.mli
- + /home/opam/.opam/default/bin/ocamldep.opt -modules queues.ml > queues.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules stats.mli > stats.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o stats.cmi stats.mli
- + /home/opam/.opam/default/bin/ocamldep.opt -modules stats.ml > stats.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules trace.mli > trace.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o trace.cmi trace.mli
- + /home/opam/.opam/default/bin/ocamldep.opt -modules trace.ml > trace.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules bdd.mli > bdd.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o bdd.cmi bdd.mli
- + /home/opam/.opam/default/bin/ocamldep.opt -modules bdd.ml > bdd.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules automata.mli > automata.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o automata.cmi automata.mli
- + /home/opam/.opam/default/bin/ocamldep.opt -modules automata.ml > automata.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules determinisation.mli > determinisation.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o determinisation.cmi determinisation.mli
- + /home/opam/.opam/default/bin/ocamldep.opt -modules determinisation.ml > determinisation.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules epsilon.mli > epsilon.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o epsilon.cmi epsilon.mli
- + /home/opam/.opam/default/bin/ocamldep.opt -modules epsilon.ml > epsilon.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules congruence.mli > congruence.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o congruence.cmi congruence.mli
- + /home/opam/.opam/default/bin/ocamldep.opt -modules congruence.ml > congruence.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules safa.mli > safa.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o safa.cmi safa.mli
- + /home/opam/.opam/default/bin/ocamldep.opt -modules safa.ml > safa.ml.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o hashcons.cmo hashcons.ml
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o hset.cmo hset.ml
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o hmap.cmo hmap.ml
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o sets.cmo sets.ml
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o common.cmo common.ml
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o queues.cmo queues.ml
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o queues.cmo queues.ml
- File "queues.ml", line 1:
- Error: The implementation "queues.ml" does not match the interface "queues.cmi": 
-        ... In module "BFS":
-        Values do not match:
-          val fold :
-            ('a -> 'b -> 'a) @ local -> 'a -> 'b Queue.t @ local -> 'a
-        is not included in
-          val fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b
-        The type "('a -> 'b -> 'a) @ local -> 'a -> 'b Queue.t @ local -> 'a"
-        is not compatible with the type "('a -> 'b -> 'a) -> 'a -> 'b t -> 'a"
-        Type "'a -> ('b Queue.t @ local -> 'a) @ local"
-        is not compatible with type "'a -> 'b t -> 'a"
-        File "common.mli", line 24, characters 2-49: Expected declaration
-        File "queues.ml", line 16, characters 6-10: Actual declaration
- Command exited with code 2.
- Hint: Recursive traversal of subdirectories was not enabled for this build,
-   as the working directory does not look like an ocamlbuild project (no
-   '_tags' or 'myocamlbuild.ml' file). If you have modules in subdirectories,
-   you should add the option "-r" or create an empty '_tags' file.
-   
-   To enable recursive traversal for some subdirectories only, you can use the
-   following '_tags' file:
-   
-       true: -traverse
-       <dir1> or <dir2>: traverse
-       
- make: *** [Makefile:18: bc-lib] Error 10
[ERROR] The compilation of safa.1.4 failed at "make".
build failed... 

=== STDERR ===

2026-10-06 17:37.22: FAILED: build safa.1.4
2026-10-06 17:37.22: Job failed: build failed: safa.1.4