2026-06-19 18:36.02: New job: build herdtools7.7.56 (f1dc18364c7c)
2026-06-19 18:36.02: Waiting for resource in pool day11-builds
2026-06-19 18:42.05: Got resource from pool day11-builds
2026-06-19 18:42.05: [profile full] build herdtools7.7.56
2026-06-19 18:42.05: build herdtools7.7.56 (f1dc18364c7c)
=== DEPENDENCIES (12 transitive) ===
  base-threads.base                                  b7164ff76afe
  base-unix.base                                     839dc585f12d
  dune.3.23.1                                        b9e31df96092
  menhir.20260209                                    7e5a18b3ff14
  menhirCST.20260209                                 c168fb01e2f6
  menhirGLR.20260209                                 edb0fdd26488
  menhirLib.20260209                                 3896169a6c75
  menhirSdk.20260209                                 4808133f977f
  ocaml.5.5.0                                        7bdffd2f55d9
  ocaml-base-compiler.5.5.0                          88ac983b1a28
  ocaml-compiler.5.5.0                               8d77bbea3746
  ocamlfind.1.9.8                                    1872268d1aec
=== STDOUT ===
Processing: [default: loading data]
[herdtools7.7.56: dl]
[herdtools7.7.56: extract]
-> retrieved herdtools7.7.56  (https://opam.ocaml.org/cache)
[herdtools7: sh]
+ /usr/bin/sh "./dune-build.sh" "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/herdtools7.7.56)
- File "lib/check402.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/myMap.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/echo.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/location.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/Archs.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/int64Constant.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/int32Constant.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/parsedConstant.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/interpreter.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/pseudo.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/BellInterpreter.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/ARMBase.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/BellBase.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/CBase.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/MIPSBase.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/AArch64Base.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/X86_64Base.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/X86Base.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/PPCBase.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/RISCVBase.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/readBell.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/simpleDumper.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/int32Value.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/int64Value.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/CGenParser_lib.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/cat2html.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/callMap.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mcond.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mapply.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mfind.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mnames.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mcycles.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/Version.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/rehash.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/CDumper.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/logConstr.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mflags.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/splitdot.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mixOption.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/dumperMiscParser.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/transposeDumper.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/Version.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/parseMap.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/cDumper.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/arch.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/machMixed.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/scopeGen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/Version.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/lineUtils.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/noInfo.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/lexConf_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/lexLog_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mcat2includes.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mlisa2c.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mobserved.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mlock.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mproj.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/madd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/msort.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mdiag.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mshowhashes.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mhash.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mtrue.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/dumper.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mixPerm.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/Version_jingle.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/prettyProg.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/archExtra_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/AArch64Arch_jingle.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/ARMArch_jingle.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/BellArch_jingle.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/CArch_jingle.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/mapping.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/PPCArch_jingle.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/Version_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/RISCVArch_jingle.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/logRelax.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/splitcond.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/ksort.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/recond.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mselect.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/alpha.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/gen_theme.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mrcu.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/config.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/AArch64Arch_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mprog.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/readRelax.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/knames.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/jingle.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mixMerge.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mcmp.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mdiff.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mfilter.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mlog2name.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/edge.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mtopos.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/moutcomes.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mlog2cond.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/msum.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/ARMArch_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/BellArch_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/MIPSArch_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/PPCArch_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/X86Arch_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/CArch_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/RISCVArch_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/X86_64Arch_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/normaliser.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- 
- File "gen/normaliser.ml", line 45, characters 28-54:
- 45 |           { edge : E.edge ; mutable dir : dir option ;
-                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field dir is never mutated.
- 
- File "gen/normaliser.ml", line 373, characters 31-49:
- 373 |             mutable next : t ; mutable prev : t ; }
-                                      ^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field prev is never read.
-   (However, this field is used to build or mutate values.)
- File "gen/namer.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mmixer.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/varAtomic.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/relax.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/cycle.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mcompare.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/mexpand.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/nexts.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/atoms.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/classify.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/atomize.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/norm.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/run_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/topUtils.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/compileCommon.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/final.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/constr.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/defString.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/language.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/Version.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/useArch.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/ARMCompile_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/BellCompile.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/MIPSCompile_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/top_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/X86Compile_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/AArch64Compile_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/X86_64Compile_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/outUtils.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/PPCCompile_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/CLang.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/dumpParams.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/RISCVCompile_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/Version_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/topology.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/objUtil.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/CArch_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/template.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/doEmitPrintf.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/CCompile_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/alt.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/generateCrossDoc.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/runUtils.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/archExtra_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/diycross.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/diyone.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/run_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/byteSize.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/Version.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/normaliser.ml", line 45, characters 28-54:
- 45 |           { edge : E.edge ; mutable dir : dir option ;
-                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field dir is never mutated.
- 
- File "gen/normaliser.ml", line 373, characters 31-49:
- 373 |             mutable next : t ; mutable prev : t ; }
-                                      ^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field prev is never read.
-   (However, this field is used to build or mutate values.)
- File "gen/diy.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/LISAArch_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/archExtra_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/Version_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/simpleDumper_prime.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/CSymbReg.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/CGenParser_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/AArch64Arch_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/ARMArch_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/MIPSArch_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/RISCVArch_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/X86Arch_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/PPCArch_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/X86_64Arch_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/testDump.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/AArch64Compile_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/ARMCompile_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/MIPSCompile_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/X86Compile_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/RISCVCompile_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/PPCCompile_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/X86_64Compile_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/valconstraint.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/AArch64Arch_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/constraints.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/ARMArch_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/CArch_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/BellArch_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/MIPSArch_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/PPCArch_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/X86Arch_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/X86_64Arch_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/RISCVArch_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/test_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/machAction.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/BellAction.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/CAction.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/event.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/compile.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/CCompile_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/skelUtil.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/branch.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/LISACompile.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/eventsMonad.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/LISALang.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/ASMLang.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/preSi.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/skel.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/KSkel.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/top_klitmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/klitmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/semExtra.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/SelaEvent.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/BellSem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/AArch64Sem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/ARMSem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/Pretty.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/CSem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/MIPSSem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/PPCSem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/RISCVSem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/X86_64Sem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/machModelChecker.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/X86Sem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/minimal.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/CAV12.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/mem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/AArch64Mem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/BellMem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/CMem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/X86Mem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/RISCVMem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/MIPSMem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/ARMMem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/slrc11.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/PPCMem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/X86_64Mem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/top_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
-> compiled  herdtools7.7.56
[herdtools7: sh]
+ /usr/bin/sh "./dune-install.sh" "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/herdtools7.7.56)
-> installed herdtools7.7.56

=== STDERR ===

2026-06-19 18:46.41: OK: build herdtools7.7.56 (runc: 256.7s, disk: 28KB)
2026-06-19 18:46.41: Job succeeded