Build:
- 0
2026-06-20 15:52.38: New job: build abella.2.0.2 (a16c5355afbf) 2026-06-20 15:52.38: Waiting for resource in pool day11-builds 2026-06-20 16:00.04: Got resource from pool day11-builds 2026-06-20 16:00.04: [profile full] build abella.2.0.2 2026-06-20 16:00.04: build abella.2.0.2 (a16c5355afbf) === DEPENDENCIES (6 transitive) === compiler-cloning.enabled 0d2606125f88 ocaml.5.5.0 1b4132bddf48 ocaml-base-compiler.5.5.0 1901c3a760c1 ocaml-compiler.5.5.0 5f593a0b4a8c ocamlbuild.0.16.1 b485a4f69c01 ocamlfind.1.9.8 5b46f9d92bbd === STDOUT === Processing: [default: loading data] [abella.2.0.2: dl] [abella.2.0.2: extract] [abella.2.0.2/abella.install: dl] -> retrieved abella.2.0.2 (https://opam.ocaml.org/cache) [abella: make] + /usr/bin/make (CWD=/home/opam/.opam/default/.opam-switch/build/abella.2.0.2) - ocamlbuild -classic-display -no-links src/abella.native - + /home/opam/.opam/default/bin/ocamlc.opt -config - + /home/opam/.opam/default/bin/ocamlopt.opt -I +unix unix.cmxa -I /home/opam/.opam/default/lib/ocamlbuild /home/opam/.opam/default/lib/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /home/opam/.opam/default/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild - Recreating "src/version.ml" - + /home/opam/.opam/default/bin/ocamlc.opt -config - + /home/opam/.opam/default/bin/ocamldep.opt -modules src/abella.ml > src/abella.ml.depends - + /home/opam/.opam/default/bin/ocamldep.opt -modules src/abella_types.ml > src/abella_types.ml.depends - + /home/opam/.opam/default/bin/ocamldep.opt -modules src/metaterm.ml > src/metaterm.ml.depends - + /home/opam/.opam/default/bin/ocamldep.opt -modules src/context.ml > src/context.ml.depends - + /home/opam/.opam/default/bin/ocamldep.opt -modules src/debug.ml > src/debug.ml.depends - + /home/opam/.opam/default/bin/ocamldep.opt -modules src/extensions.ml > src/extensions.ml.depends - + /home/opam/.opam/default/bin/ocamldep.opt -modules src/term.mli > src/term.mli.depends - + /home/opam/.opam/default/bin/ocamldep.opt -modules src/pretty.mli > src/pretty.mli.depends - + /home/opam/.opam/default/bin/ocamlc.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/pretty.cmi src/pretty.mli - + /home/opam/.opam/default/bin/ocamldep.opt -modules src/unify.mli > src/unify.mli.depends - + /home/opam/.opam/default/bin/ocamldep.opt -modules src/subordination.mli > src/subordination.mli.depends - + /home/opam/.opam/default/bin/ocamlc.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/term.cmi src/term.mli - + /home/opam/.opam/default/bin/ocamlc.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/subordination.cmi src/subordination.mli - + /home/opam/.opam/default/bin/ocamlc.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/debug.cmo src/debug.ml - + /home/opam/.opam/default/bin/ocamlc.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/extensions.cmo src/extensions.ml - + /home/opam/.opam/default/bin/ocamlc.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/unify.cmi src/unify.mli - + /home/opam/.opam/default/bin/ocamlc.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/context.cmo src/context.ml - + /home/opam/.opam/default/bin/ocamldep.opt -modules src/typing.ml > src/typing.ml.depends - + /home/opam/.opam/default/bin/ocamlc.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/metaterm.cmo src/metaterm.ml - + /home/opam/.opam/default/bin/ocamlc.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/typing.cmo src/typing.ml - + /home/opam/.opam/default/bin/ocamldep.opt -modules src/accumulate.ml > src/accumulate.ml.depends - + /home/opam/.opam/default/bin/ocamlc.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/abella_types.cmo src/abella_types.ml - + /home/opam/.opam/default/bin/ocamllex.opt -q src/lexer.mll - + /home/opam/.opam/default/bin/ocamldep.opt -modules src/lexer.ml > src/lexer.ml.depends - + /home/opam/.opam/default/bin/ocamlyacc src/parser.mly - + /home/opam/.opam/default/bin/ocamlyacc src/parser.mly - 1 shift/reduce conflict. - + /home/opam/.opam/default/bin/ocamldep.opt -modules src/parser.mli > src/parser.mli.depends - + /home/opam/.opam/default/bin/ocamlc.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/parser.cmi src/parser.mli - + /home/opam/.opam/default/bin/ocamldep.opt -modules src/prover.ml > src/prover.ml.depends - + /home/opam/.opam/default/bin/ocamlc.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/lexer.cmo src/lexer.ml - + /home/opam/.opam/default/bin/ocamldep.opt -modules src/tactics.ml > src/tactics.ml.depends - + /home/opam/.opam/default/bin/ocamlc.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/tactics.cmo src/tactics.ml - + /home/opam/.opam/default/bin/ocamlc.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/prover.cmo src/prover.ml - + /home/opam/.opam/default/bin/ocamldep.opt -modules src/depend.ml > src/depend.ml.depends - + /home/opam/.opam/default/bin/ocamlc.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/accumulate.cmo src/accumulate.ml - + /home/opam/.opam/default/bin/ocamldep.opt -modules src/version.ml > src/version.ml.depends - + /home/opam/.opam/default/bin/ocamlc.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/depend.cmo src/depend.ml - + /home/opam/.opam/default/bin/ocamlc.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/version.cmo src/version.ml - + /home/opam/.opam/default/bin/ocamlc.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/abella.cmo src/abella.ml - + /home/opam/.opam/default/bin/ocamlc.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/abella.cmo src/abella.ml - File "src/abella.ml", line 526, characters 16-37: - 526 | | Failure "lexing: empty token" -> - ^^^^^^^^^^^^^^^^^^^^^ - Warning 52 [fragile-literal-pattern]: Code should not depend on the actual - values of this constructor's arguments. - They are only for information and may change in future versions. - (see manual section 13.5.3) - - File "src/abella.ml", line 528, characters 16-34: - 528 | | Failure "Proof completed." -> - ^^^^^^^^^^^^^^^^^^ - Warning 52 [fragile-literal-pattern]: Code should not depend on the actual - values of this constructor's arguments. - They are only for information and may change in future versions. - (see manual section 13.5.3) - - File "src/abella.ml", line 557, characters 16-21: - 557 | | Failure "eof" -> () - ^^^^^ - Warning 52 [fragile-literal-pattern]: Code should not depend on the actual - values of this constructor's arguments. - They are only for information and may change in future versions. - (see manual section 13.5.3) - - File "src/abella.ml", line 644, characters 14-35: - 644 | | Failure "lexing: empty token" -> - ^^^^^^^^^^^^^^^^^^^^^ - Warning 52 [fragile-literal-pattern]: Code should not depend on the actual - values of this constructor's arguments. - They are only for information and may change in future versions. - (see manual section 13.5.3) - - File "src/abella.ml", line 671, characters 12-17: - 671 | | Failure "eof" -> () - ^^^^^ - Warning 52 [fragile-literal-pattern]: Code should not depend on the actual - values of this constructor's arguments. - They are only for information and may change in future versions. - (see manual section 13.5.3) - + /home/opam/.opam/default/bin/ocamldep.opt -modules src/term.ml > src/term.ml.depends - + /home/opam/.opam/default/bin/ocamlopt.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/extensions.cmx src/extensions.ml - + /home/opam/.opam/default/bin/ocamldep.opt -modules src/pretty.ml > src/pretty.ml.depends - + /home/opam/.opam/default/bin/ocamlopt.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/pretty.cmx src/pretty.ml - + /home/opam/.opam/default/bin/ocamldep.opt -modules src/unify.ml > src/unify.ml.depends - + /home/opam/.opam/default/bin/ocamldep.opt -modules src/subordination.ml > src/subordination.ml.depends - + /home/opam/.opam/default/bin/ocamldep.opt -modules src/graph.ml > src/graph.ml.depends - + /home/opam/.opam/default/bin/ocamldep.opt -modules src/graph.mli > src/graph.mli.depends - + /home/opam/.opam/default/bin/ocamlc.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/graph.cmi src/graph.mli - + /home/opam/.opam/default/bin/ocamlopt.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/term.cmx src/term.ml - + /home/opam/.opam/default/bin/ocamlopt.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/graph.cmx src/graph.ml - + /home/opam/.opam/default/bin/ocamlopt.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/subordination.cmx src/subordination.ml - + /home/opam/.opam/default/bin/ocamlopt.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/debug.cmx src/debug.ml - + /home/opam/.opam/default/bin/ocamlopt.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/unify.cmx src/unify.ml - + /home/opam/.opam/default/bin/ocamlopt.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/context.cmx src/context.ml - + /home/opam/.opam/default/bin/ocamlopt.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/metaterm.cmx src/metaterm.ml - + /home/opam/.opam/default/bin/ocamlopt.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/typing.cmx src/typing.ml - + /home/opam/.opam/default/bin/ocamlopt.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/abella_types.cmx src/abella_types.ml - + /home/opam/.opam/default/bin/ocamldep.opt -modules src/parser.ml > src/parser.ml.depends - + /home/opam/.opam/default/bin/ocamlopt.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/parser.cmx src/parser.ml - + /home/opam/.opam/default/bin/ocamlopt.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/lexer.cmx src/lexer.ml - + /home/opam/.opam/default/bin/ocamlopt.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/tactics.cmx src/tactics.ml - + /home/opam/.opam/default/bin/ocamlopt.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/prover.cmx src/prover.ml - + /home/opam/.opam/default/bin/ocamlopt.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/accumulate.cmx src/accumulate.ml - + /home/opam/.opam/default/bin/ocamlopt.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/depend.cmx src/depend.ml - + /home/opam/.opam/default/bin/ocamlopt.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/version.cmx src/version.ml - + /home/opam/.opam/default/bin/ocamlopt.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/abella.cmx src/abella.ml - + /home/opam/.opam/default/bin/ocamlopt.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/abella.cmx src/abella.ml - File "src/abella.ml", line 526, characters 16-37: - 526 | | Failure "lexing: empty token" -> - ^^^^^^^^^^^^^^^^^^^^^ - Warning 52 [fragile-literal-pattern]: Code should not depend on the actual - values of this constructor's arguments. - They are only for information and may change in future versions. - (see manual section 13.5.3) - - File "src/abella.ml", line 528, characters 16-34: - 528 | | Failure "Proof completed." -> - ^^^^^^^^^^^^^^^^^^ - Warning 52 [fragile-literal-pattern]: Code should not depend on the actual - values of this constructor's arguments. - They are only for information and may change in future versions. - (see manual section 13.5.3) - - File "src/abella.ml", line 557, characters 16-21: - 557 | | Failure "eof" -> () - ^^^^^ - Warning 52 [fragile-literal-pattern]: Code should not depend on the actual - values of this constructor's arguments. - They are only for information and may change in future versions. - (see manual section 13.5.3) - - File "src/abella.ml", line 644, characters 14-35: - 644 | | Failure "lexing: empty token" -> - ^^^^^^^^^^^^^^^^^^^^^ - Warning 52 [fragile-literal-pattern]: Code should not depend on the actual - values of this constructor's arguments. - They are only for information and may change in future versions. - (see manual section 13.5.3) - - File "src/abella.ml", line 671, characters 12-17: - 671 | | Failure "eof" -> () - ^^^^^ - Warning 52 [fragile-literal-pattern]: Code should not depend on the actual - values of this constructor's arguments. - They are only for information and may change in future versions. - (see manual section 13.5.3) - + /home/opam/.opam/default/bin/ocamlopt.opt -I +unix unix.cmxa -I +str str.cmxa -g -I src src/debug.cmx src/extensions.cmx src/graph.cmx src/pretty.cmx src/term.cmx src/subordination.cmx src/unify.cmx src/context.cmx src/metaterm.cmx src/typing.cmx src/abella_types.cmx src/parser.cmx src/lexer.cmx src/tactics.cmx src/prover.cmx src/accumulate.cmx src/depend.cmx src/version.cmx src/abella.cmx -o src/abella.native - ocamlbuild -classic-display -no-links src/copy_exe.native - + /home/opam/.opam/default/bin/ocamlc.opt -config - + /home/opam/.opam/default/bin/ocamlc.opt -config - + /home/opam/.opam/default/bin/ocamldep.opt -modules src/copy_exe.ml > src/copy_exe.ml.depends - + /home/opam/.opam/default/bin/ocamlc.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/copy_exe.cmo src/copy_exe.ml - + /home/opam/.opam/default/bin/ocamlopt.opt -c -I +unix -I +str -bin-annot -g -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/copy_exe.cmx src/copy_exe.ml - + /home/opam/.opam/default/bin/ocamlopt.opt -I +unix unix.cmxa -I +str str.cmxa -g -I src src/copy_exe.cmx -o src/copy_exe.native - _build/src/copy_exe.native _build/src/abella.native abella -> compiled abella.2.0.2 -> installed abella.2.0.2 === STDERR === 2026-06-20 16:00.18: OK: build abella.2.0.2 (runc: 8.1s, disk: 18KB) 2026-06-20 16:00.18: Job succeeded