2026-06-16 11:32.21: New job: build abella.2.0.7 (6f1a2bcfcb29)
2026-06-16 11:32.21: Waiting for resource in pool day11-builds
2026-06-16 11:41.19: Got resource from pool day11-builds
2026-06-16 11:41.19: [profile full] build abella.2.0.7
2026-06-16 11:41.19: build abella.2.0.7 (6f1a2bcfcb29)
=== DEPENDENCIES (5 transitive) ===
  ocaml.4.12.1                                       b220906b3826
  ocaml-base-compiler.4.12.1                         ce8680725b32
  ocaml-config.2                                     3a99bd9dbb34
  ocamlbuild.0.16.1                                  0aed2948eb5f
  ocamlfind.1.9.8                                    9ccba9f3d58c
=== STDOUT ===
Processing: [default: loading data]
[abella.2.0.7: dl]
[abella.2.0.7: extract]
-> retrieved abella.2.0.7  (https://opam.ocaml.org/cache)
[abella: make all]
+ /usr/bin/make "all" "abella.install" (CWD=/home/opam/.opam/default/.opam-switch/build/abella.2.0.7)
- ocamlbuild -classic-display -no-links src/abella.native
- + /home/opam/.opam/default/bin/ocamlc.opt -config
- + /home/opam/.opam/default/bin/ocamlopt.opt 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"
- + ocamlfind ocamlc -config
- + ocamlfind ocamldep -modules src/abella.ml > src/abella.ml.depends
- + ocamlfind ocamldep -modules src/abella_types.ml > src/abella_types.ml.depends
- + ocamlfind ocamldep -modules src/extensions.ml > src/extensions.ml.depends
- + ocamlfind ocamldep -modules src/metaterm.ml > src/metaterm.ml.depends
- + ocamlfind ocamldep -modules src/context.ml > src/context.ml.depends
- + ocamlfind ocamlc -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/extensions.cmo src/extensions.ml
- + ocamlfind ocamldep -modules src/term.mli > src/term.mli.depends
- + ocamlfind ocamldep -modules src/pretty.mli > src/pretty.mli.depends
- + ocamlfind ocamlc -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/pretty.cmi src/pretty.mli
- + ocamlfind ocamldep -modules src/unify.mli > src/unify.mli.depends
- + ocamlfind ocamldep -modules src/subordination.mli > src/subordination.mli.depends
- + ocamlfind ocamlc -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/term.cmi src/term.mli
- + ocamlfind ocamlc -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/subordination.cmi src/subordination.mli
- + ocamlfind ocamlc -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/unify.cmi src/unify.mli
- + ocamlfind ocamldep -modules src/state.mli > src/state.mli.depends
- + ocamlfind ocamlc -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/context.cmo src/context.ml
- + ocamlfind ocamlc -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/state.cmi src/state.mli
- + ocamlfind ocamldep -modules src/typing.ml > src/typing.ml.depends
- + ocamlfind ocamlc -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/metaterm.cmo src/metaterm.ml
- + ocamlfind ocamldep -modules src/unifyty.ml > src/unifyty.ml.depends
- + ocamlfind ocamlc -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/unifyty.cmo src/unifyty.ml
- + ocamlfind ocamlc -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/typing.cmo src/typing.ml
- + ocamlfind ocamldep -modules src/accumulate.ml > src/accumulate.ml.depends
- + ocamlfind ocamlc -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/abella_types.cmo src/abella_types.ml
- + /home/opam/.opam/default/bin/ocamllex.opt -q src/lexer.mll
- + ocamlfind ocamldep -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.
- + ocamlfind ocamldep -modules src/parser.mli > src/parser.mli.depends
- + ocamlfind ocamlc -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/parser.cmi src/parser.mli
- + ocamlfind ocamlc -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/lexer.cmo src/lexer.ml
- + ocamlfind ocamldep -modules src/checks.ml > src/checks.ml.depends
- + ocamlfind ocamldep -modules src/depend.ml > src/depend.ml.depends
- + ocamlfind ocamlc -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/accumulate.cmo src/accumulate.ml
- + ocamlfind ocamldep -modules src/prover.ml > src/prover.ml.depends
- + ocamlfind ocamlc -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/checks.cmo src/checks.ml
- + ocamlfind ocamldep -modules src/tactics.ml > src/tactics.ml.depends
- + ocamlfind ocamlc -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/tactics.cmo src/tactics.ml
- + ocamlfind ocamldep -modules src/version.ml > src/version.ml.depends
- + ocamlfind ocamlc -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/depend.cmo src/depend.ml
- + ocamlfind ocamlc -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/prover.cmo src/prover.ml
- + ocamlfind ocamlc -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/version.cmo src/version.ml
- + ocamlfind ocamlc -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/abella.cmo src/abella.ml
- + ocamlfind ocamlopt -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/extensions.cmx src/extensions.ml
- + ocamlfind ocamldep -modules src/term.ml > src/term.ml.depends
- + ocamlfind ocamldep -modules src/pretty.ml > src/pretty.ml.depends
- + ocamlfind ocamldep -modules src/state.ml > src/state.ml.depends
- + ocamlfind ocamlopt -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/pretty.cmx src/pretty.ml
- + ocamlfind ocamlopt -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/state.cmx src/state.ml
- + ocamlfind ocamldep -modules src/unify.ml > src/unify.ml.depends
- + ocamlfind ocamldep -modules src/subordination.ml > src/subordination.ml.depends
- + ocamlfind ocamldep -modules src/graph.ml > src/graph.ml.depends
- + ocamlfind ocamldep -modules src/graph.mli > src/graph.mli.depends
- + ocamlfind ocamlc -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/graph.cmi src/graph.mli
- + ocamlfind ocamlopt -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/term.cmx src/term.ml
- + ocamlfind ocamlopt -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/unifyty.cmx src/unifyty.ml
- + ocamlfind ocamlopt -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/graph.cmx src/graph.ml
- + ocamlfind ocamlopt -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/subordination.cmx src/subordination.ml
- + ocamlfind ocamlopt -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/unify.cmx src/unify.ml
- + ocamlfind ocamlopt -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/context.cmx src/context.ml
- + ocamlfind ocamlopt -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/metaterm.cmx src/metaterm.ml
- + ocamlfind ocamlopt -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/typing.cmx src/typing.ml
- + ocamlfind ocamlopt -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/abella_types.cmx src/abella_types.ml
- + ocamlfind ocamldep -modules src/parser.ml > src/parser.ml.depends
- + ocamlfind ocamlopt -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/parser.cmx src/parser.ml
- + ocamlfind ocamlopt -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/lexer.cmx src/lexer.ml
- + ocamlfind ocamlopt -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/accumulate.cmx src/accumulate.ml
- + ocamlfind ocamlopt -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/checks.cmx src/checks.ml
- + ocamlfind ocamlopt -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/tactics.cmx src/tactics.ml
- + ocamlfind ocamlopt -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/depend.cmx src/depend.ml
- + ocamlfind ocamlopt -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/prover.cmx src/prover.ml
- + ocamlfind ocamlopt -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/version.cmx src/version.ml
- + ocamlfind ocamlopt -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -nodynlink -I src -I test/ext -o src/abella.cmx src/abella.ml
- + ocamlfind ocamlopt -linkpkg unix.cmxa -I src src/extensions.cmx src/pretty.cmx src/state.cmx src/term.cmx src/unifyty.cmx src/graph.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/accumulate.cmx src/checks.cmx src/depend.cmx src/tactics.cmx src/prover.cmx src/version.cmx src/abella.cmx -o src/abella.native
- if file _build/src/abella.native | grep Windows >/dev/null 2>&1 ; then \
-   cp _build/src/abella.native abella.exe ; \
- else \
-   cp -a _build/src/abella.native abella ; \
- fi
- /bin/sh: 1: file: not found
- echo 'bin: ["_build/src/abella.native" {"abella"}]' > abella.install
- echo 'share: [' >> abella.install
- for f in emacs/* `find examples -type f | grep -E '(sig|mod|thm)$'` ; do \
-     echo '"'$f'"' '{"'$f'"}' >> abella.install ; \
- done
- echo ']' >> abella.install
-> compiled  abella.2.0.7
-> installed abella.2.0.7

=== STDERR ===

2026-06-16 11:41.48: OK: build abella.2.0.7 (runc: 11.6s, disk: 14KB)
2026-06-16 11:41.48: Job succeeded