2025-11-30 15:24.46: New job: test ahrefs/ocannl https://github.com/ahrefs/ocannl.git#refs/heads/master (69df3f7c24fd2610946add18ffb8fcdba5ff4dbd) (linux-x86_64:(lint-fmt))Base: ocaml/opam:debian-13-ocaml-4.08@sha256:e3cc4e8fe5c00f48c72a719e3551b1d8a51c2862349a0f7507e8aa29fdf72321ocamlformat version: version 0.28.1 (from opam)To reproduce locally:git clone --recursive "https://github.com/ahrefs/ocannl.git" -b "master" && cd "ocannl" && git reset --hard 69df3f7ccat > Dockerfile <<'END-OF-DOCKERFILE'FROM ocaml/opam:debian-13-ocaml-4.08@sha256:e3cc4e8fe5c00f48c72a719e3551b1d8a51c2862349a0f7507e8aa29fdf72321USER 1000:1000RUN cd ~/opam-repository && (git cat-file -e 6c1b38620288b5bf349067f089a7b1fc91185d94 || git fetch origin master) && git reset -q --hard 6c1b38620288b5bf349067f089a7b1fc91185d94 && git log --no-decorate -n1 --oneline && opam update -uRUN opam depext -i duneWORKDIR /srcRUN opam depext -i ocamlformat=0.28.1COPY --chown=1000:1000 . /src/RUN opam exec -- dune build @fmt --ignore-promoted-rules || (echo "dune build @fmt failed"; exit 2)END-OF-DOCKERFILEdocker build .END-REPRO-BLOCK2025-11-30 15:24.46: Using cache hint "ahrefs/ocannl-ocaml/opam:debian-13-ocaml-4.08@sha256:e3cc4e8fe5c00f48c72a719e3551b1d8a51c2862349a0f7507e8aa29fdf72321-debian-13-4.08_opam-2.4-ocamlformat-6c1b38620288b5bf349067f089a7b1fc91185d94"2025-11-30 15:24.46: Using OBuilder spec:((from ocaml/opam:debian-13-ocaml-4.08@sha256:e3cc4e8fe5c00f48c72a719e3551b1d8a51c2862349a0f7507e8aa29fdf72321)(user (uid 1000) (gid 1000))(run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "cd ~/opam-repository && (git cat-file -e 6c1b38620288b5bf349067f089a7b1fc91185d94 || git fetch origin master) && git reset -q --hard 6c1b38620288b5bf349067f089a7b1fc91185d94 && git log --no-decorate -n1 --oneline && opam update -u"))(run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "opam depext -i dune"))(workdir /src)(run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "opam depext -i ocamlformat=0.28.1"))(copy (src .) (dst /src/))(run (shell "opam exec -- dune build @fmt --ignore-promoted-rules || (echo \"dune build @fmt failed\"; exit 2)")))2025-11-30 15:24.46: Waiting for resource in pool OCluster2025-11-30 15:24.46: Waiting for worker…2025-11-30 15:24.47: Got resource from pool OClusterBuilding on bremusa.ocamllabs.ioAll commits already cachedHEAD is now at 69df3f7c Fix the remaining inconsistencies in shape inference for convolutions(from ocaml/opam:debian-13-ocaml-4.08@sha256:e3cc4e8fe5c00f48c72a719e3551b1d8a51c2862349a0f7507e8aa29fdf72321)2025-11-30 15:24.48 ---> using "d458486dd7823c592e7ea9c88366c5f90e1939c3b51f3abbd6760272096f8a3e" from cache/: (user (uid 1000) (gid 1000))/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "cd ~/opam-repository && (git cat-file -e 6c1b38620288b5bf349067f089a7b1fc91185d94 || git fetch origin master) && git reset -q --hard 6c1b38620288b5bf349067f089a7b1fc91185d94 && git log --no-decorate -n1 --oneline && opam update -u"))6c1b386202 Merge pull request #28774 from Julow/release-ocamlformat-0.28.1<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>[default] Initialiseddefault (at git+file:///home/opam/opam-repository):[INFO] opam 2.1 and 2.2 include many performance and security improvements over 2.0; please consider upgrading (https://opam.ocaml.org/doc/Install.html)Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages.Nothing to do.# Run eval $(opam env) to update the current shell environment2025-11-30 15:24.48 ---> using "a7d3c7d9f6aff7dc059c465a33e7ef3fda4b4a1ee9c79bef8645b5cd4da72b96" from cache/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "opam depext -i dune"))# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian# No extra OS packages requirements found.# All required OS packages found.# Now letting opam install the packagesThe following actions will be performed:- install dune 3.20.2<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>[dune.3.20.2] found in cache<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>-> installed dune.3.20.2Done.# Run eval $(opam env) to update the current shell environment2025-11-30 15:24.48 ---> using "b8799a0f87a66bd49a9341889a0027044c03db80ad17a5edb3adaf72f166d8fd" from cache/: (workdir /src)/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "opam depext -i ocamlformat=0.28.1"))# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian# No extra OS packages requirements found.# All required OS packages found.# Now letting opam install the packagesThe following actions will be performed:- install sexplib0 v0.14.0 [required by base]- install ocamlbuild 0.16.1 [required by fpath, astring, uuseg]- install either 1.0.0 [required by ocamlformat-lib]- install menhirLib 20250912 [required by ocamlformat-lib]- install csexp 1.5.2 [required by ocamlformat]- install camlp-streams 5.0.1 [required by ocamlformat-lib]- install seq base [required by re]- install menhirSdk 20250912 [required by ocamlformat-lib]- install fix 20250919 [required by ocamlformat-lib]- install menhirCST 20250912 [required by menhir]- install ocamlfind 1.9.8 [required by ocp-indent, astring, fpath, uuseg]- install dune-build-info 3.20.2 [required by ocamlformat-lib]- install cmdliner 2.0.0 [required by ocamlformat]- install ocaml-version 4.0.3 [required by ocamlformat-lib]- install dune-configurator 3.20.2 [required by base]- install re 1.11.0 [required by ocamlformat]- install menhir 20250912 [required by ocamlformat-lib]- install topkg 1.1.1 [required by fpath, astring, uuseg]- install ocp-indent 1.9.0 [required by ocamlformat-lib]- install base v0.14.3 [required by ocamlformat-lib]- install uutf 1.0.4 [required by ocamlformat-lib]- install astring 0.8.5 [required by ocamlformat-lib]- install stdio v0.14.0 [required by ocamlformat-lib]- install uucp 15.0.0 [required by uuseg]- install fpath 0.7.3 [required by ocamlformat-lib]- install uuseg 15.0.0 [required by ocamlformat-lib]- install ocamlformat-lib 0.28.1 [required by ocamlformat]- install ocamlformat 0.28.1===== 28 to install =====<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>[astring.0.8.5] found in cache[base.v0.14.3] found in cache[camlp-streams.5.0.1] found in cache[cmdliner.2.0.0] found in cache[csexp.1.5.2] found in cache[dune-build-info.3.20.2] found in cache[dune-configurator.3.20.2] found in cache[either.1.0.0] found in cache[fix.20250919] found in cache[fpath.0.7.3] found in cache[menhir.20250912] found in cache[menhirCST.20250912] found in cache[menhirLib.20250912] found in cache[menhirSdk.20250912] found in cache[ocaml-version.4.0.3] found in cache[ocamlbuild.0.16.1] found in cache[ocamlfind.1.9.8] found in cache[ocamlformat.0.28.1] found in cache[ocamlformat-lib.0.28.1] found in cache[ocp-indent.1.9.0] found in cache[re.1.11.0] found in cache[sexplib0.v0.14.0] found in cache[stdio.v0.14.0] found in cache[topkg.1.1.1] found in cache[uucp.15.0.0] found in cache[uuseg.15.0.0] found in cache[uutf.1.0.4] found in cache<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>-> installed seq.base-> installed camlp-streams.5.0.1-> installed csexp.1.5.2-> installed either.1.0.0-> installed fix.20250919-> installed cmdliner.2.0.0-> installed menhirCST.20250912-> installed menhirLib.20250912-> installed menhirSdk.20250912-> installed ocaml-version.4.0.3-> installed re.1.11.0-> installed sexplib0.v0.14.0-> installed dune-build-info.3.20.2-> installed dune-configurator.3.20.2-> installed ocamlfind.1.9.8-> installed ocp-indent.1.9.0-> installed ocamlbuild.0.16.1-> installed base.v0.14.3-> installed topkg.1.1.1-> installed stdio.v0.14.0-> installed uutf.1.0.4-> installed astring.0.8.5-> installed fpath.0.7.3-> installed menhir.20250912-> installed uucp.15.0.0-> installed uuseg.15.0.0-> installed ocamlformat-lib.0.28.1-> installed ocamlformat.0.28.1Done.<><> ocp-indent.1.9.0 installed successfully ><><><><><><><><><><><><><><><><><>=> This package requires additional configuration for use in editors. Install package 'user-setup', or manually:* for Emacs, add these lines to ~/.emacs:(add-to-list 'load-path "/home/opam/.opam/4.08/share/emacs/site-lisp")(require 'ocp-indent)* for Vim, add this line to ~/.vimrc:set rtp^="/home/opam/.opam/4.08/share/ocp-indent/vim"# Run eval $(opam env) to update the current shell environment2025-11-30 15:24.48 ---> using "7b71439e6ac9917292b28dc59ecc075d01d03dd2ef11c372809a6cf99e594a22" from cache/src: (copy (src .) (dst /src/))2025-11-30 15:24.48 ---> saved as "a0bc67db1befd048eeb3514e2c75d06f79bc32f593776d97d67eae69b9b0fb19"/src: (run (shell "opam exec -- dune build @fmt --ignore-promoted-rules || (echo \"dune build @fmt failed\"; exit 2)"))Warning: Invalid documentation comment:File "tensor/einsum_types.ml", line 30, characters 0-0:End of text is not allowed in '[...]' (code).File "tensor/einsum_types.ml", line 1, characters 0-0:diff --git a/_build/default/tensor/einsum_types.ml b/_build/default/tensor/.formatted/einsum_types.mlindex 855e02a..e12e537 100644--- a/_build/default/tensor/einsum_types.ml+++ b/_build/default/tensor/.formatted/einsum_types.ml@@ -4,8 +4,8 @@open Base-(** Convolution component for affine axis specifications. *)type conv_spec = { dilation : int; kernel_label : string } [@@deriving compare, sexp]+(** Convolution component for affine axis specifications. *)(** Specification for individual axes in the einsum notation. *)type axis_spec =@@ -17,8 +17,8 @@ type axis_spec =conv : conv_spec option; (** Optional convolution: dilation*kernel. *)stride_offset : int; (** Constant offset added after stride*over. *)}- (** Affine axis specification: stride*over + stride_offset [+ dilation*kernel].- Corresponds to [Row.Affine] in shape inference. *)+ (** Affine axis specification: stride*over + stride_offset [+ dilation*kernel]. Corresponds to+ [Row.Affine] in shape inference. *)[@@deriving compare, sexp](** An index pointing to any of a shape's axes, including the kind of the axis ([Batch, Input,File "tensor/shape.mli", line 1, characters 0-0:diff --git a/_build/default/tensor/shape.mli b/_build/default/tensor/.formatted/shape.mliindex 5226630..55a8977 100644--- a/_build/default/tensor/shape.mli+++ b/_build/default/tensor/.formatted/shape.mli@@ -239,5 +239,5 @@ val to_labels : t -> string array(** Uses the matrix convention of putting the input axes last. *)val parse_n5_layout : string -> int array-(** Parse a N5_layout priority string (e.g., "0,1,2") into display indices.- Only supports integer labels (Fixed_index). *)+(** Parse a N5_layout priority string (e.g., "0,1,2") into display indices. Only supports integer+ labels (Fixed_index). *)File "tensor/row.mli", line 1, characters 0-0:diff --git a/_build/default/tensor/row.mli b/_build/default/tensor/.formatted/row.mliindex b0e346d..0c26718 100644--- a/_build/default/tensor/row.mli+++ b/_build/default/tensor/.formatted/row.mli@@ -36,8 +36,8 @@ and dim =| Dim of solved_dim| Affine of { stride : int; over : dim; conv : convolution option; stride_offset : int }(** An affine transformation of a dimension. When [conv] is [None], this is a simple strided- dimension. When [conv] is [Some], this includes convolution parameters.- Invariants: [stride > 0], [dilation > 0] (when present), [0 <= stride_offset < stride]. *)+ dimension. When [conv] is [Some], this includes convolution parameters. Invariants:+ [stride > 0], [dilation > 0] (when present), [0 <= stride_offset < stride]. *)[@@deriving equal, hash, compare, sexp]val get_dim : d:int -> ?label:string -> ?proj_id:int -> unit -> dimFile "test/einsum/test_conv_syntax.ml", line 1, characters 0-0:diff --git a/_build/default/test/einsum/test_conv_syntax.ml b/_build/default/test/einsum/.formatted/test_conv_syntax.mlindex 15e3fc9..0903d3a 100644--- a/_build/default/test/einsum/test_conv_syntax.ml+++ b/_build/default/test/einsum/.formatted/test_conv_syntax.ml@@ -8,43 +8,50 @@ let test_conv_parsing () =let spec1 = "2*o+3*k" inlet labels1 = Einsum_parser.axis_labels_of_spec spec1 inprintf "Test 1: Parsed '%s' successfully\n%!" spec1;- printf " Structure: %s\n\n%!" (Sexp.to_string_hum (Einsum_parser.sexp_of_parsed_axis_labels labels1));+ printf " Structure: %s\n\n%!"+ (Sexp.to_string_hum (Einsum_parser.sexp_of_parsed_axis_labels labels1));(* Test 2: Simple conv expression without coefficients (multichar - requires commas) *)let spec2 = "o+k" inlet labels2 = Einsum_parser.axis_labels_of_spec spec2 inprintf "Test 2: Parsed '%s' successfully\n%!" spec2;- printf " Structure: %s\n\n%!" (Sexp.to_string_hum (Einsum_parser.sexp_of_parsed_axis_labels labels2));+ printf " Structure: %s\n\n%!"+ (Sexp.to_string_hum (Einsum_parser.sexp_of_parsed_axis_labels labels2));(* Test 3: Mixed spec with comma (multichar mode) *)let spec3 = "a, 2*b+c" inlet labels3 = Einsum_parser.axis_labels_of_spec spec3 inprintf "Test 3: Parsed '%s' successfully\n%!" spec3;- printf " Structure: %s\n\n%!" (Sexp.to_string_hum (Einsum_parser.sexp_of_parsed_axis_labels labels3));+ printf " Structure: %s\n\n%!"+ (Sexp.to_string_hum (Einsum_parser.sexp_of_parsed_axis_labels labels3));(* Test 4: Conv expression with multiple identifiers (multichar - requires commas) *)let spec4 = "i, o+k, j" inlet labels4 = Einsum_parser.axis_labels_of_spec spec4 inprintf "Test 4: Parsed '%s' successfully (multichar mode)\n%!" spec4;- printf " Structure: %s\n\n%!" (Sexp.to_string_hum (Einsum_parser.sexp_of_parsed_axis_labels labels4));+ printf " Structure: %s\n\n%!"+ (Sexp.to_string_hum (Einsum_parser.sexp_of_parsed_axis_labels labels4));(* Test 5: Conv expression with multi-char identifiers (multichar) *)let spec5 = "a+bc" inlet labels5 = Einsum_parser.axis_labels_of_spec spec5 inprintf "Test 5: Parsed '%s' successfully (multichar mode)\n%!" spec5;- printf " Structure: %s\n\n%!" (Sexp.to_string_hum (Einsum_parser.sexp_of_parsed_axis_labels labels5));+ printf " Structure: %s\n\n%!"+ (Sexp.to_string_hum (Einsum_parser.sexp_of_parsed_axis_labels labels5));(* Test 6: Test in einsum notation with multichar conv *)let spec6 = "i, j -> 2*i+j" inlet labels6 = Einsum_parser.axis_labels_of_spec spec6 inprintf "Test 6: Parsed '%s' successfully\n%!" spec6;- printf " Structure: %s\n\n%!" (Sexp.to_string_hum (Einsum_parser.sexp_of_parsed_axis_labels labels6));+ printf " Structure: %s\n\n%!"+ (Sexp.to_string_hum (Einsum_parser.sexp_of_parsed_axis_labels labels6));(* Test 7: Complex batch-input-output spec with conv *)let spec7 = "batch|input->3*output+1*kernel," inlet labels7 = Einsum_parser.axis_labels_of_spec spec7 inprintf "Test 7: Parsed '%s' successfully\n%!" spec7;- printf " Structure: %s\n\n%!" (Sexp.to_string_hum (Einsum_parser.sexp_of_parsed_axis_labels labels7));+ printf " Structure: %s\n\n%!"+ (Sexp.to_string_hum (Einsum_parser.sexp_of_parsed_axis_labels labels7));printf "All conv syntax parsing tests passed!\n%!"@@ -55,25 +62,29 @@ let test_strided_iteration_parsing () =let spec1 = "2*output" inlet labels1 = Einsum_parser.axis_labels_of_spec spec1 inprintf "Test 1: Parsed strided iteration '%s' successfully\n%!" spec1;- printf " Structure: %s\n\n%!" (Sexp.to_string_hum (Einsum_parser.sexp_of_parsed_axis_labels labels1));+ printf " Structure: %s\n\n%!"+ (Sexp.to_string_hum (Einsum_parser.sexp_of_parsed_axis_labels labels1));(* Test 2: Strided iteration with single-char identifier (multichar mode) *)let spec2 = "3*i" inlet labels2 = Einsum_parser.axis_labels_of_spec spec2 inprintf "Test 2: Parsed strided iteration '%s' successfully\n%!" spec2;- printf " Structure: %s\n\n%!" (Sexp.to_string_hum (Einsum_parser.sexp_of_parsed_axis_labels labels2));+ printf " Structure: %s\n\n%!"+ (Sexp.to_string_hum (Einsum_parser.sexp_of_parsed_axis_labels labels2));(* Test 3: Strided iteration in einsum context (multichar due to multiplication) *)let spec3 = "input -> 2*output" inlet labels3 = Einsum_parser.axis_labels_of_spec spec3 inprintf "Test 3: Parsed einsum with strided iteration '%s' successfully\n%!" spec3;- printf " Structure: %s\n\n%!" (Sexp.to_string_hum (Einsum_parser.sexp_of_parsed_axis_labels labels3));+ printf " Structure: %s\n\n%!"+ (Sexp.to_string_hum (Einsum_parser.sexp_of_parsed_axis_labels labels3));(* Test 4: Mixed regular labels and strided iteration (multichar due to comma) *)let spec4 = "regular, 3*strided" inlet labels4 = Einsum_parser.axis_labels_of_spec spec4 inprintf "Test 4: Parsed mixed labels with strided iteration '%s' successfully\n%!" spec4;- printf " Structure: %s\n\n%!" (Sexp.to_string_hum (Einsum_parser.sexp_of_parsed_axis_labels labels4));+ printf " Structure: %s\n\n%!"+ (Sexp.to_string_hum (Einsum_parser.sexp_of_parsed_axis_labels labels4));printf "\nAll strided iteration parsing tests completed!\n%!"dune build @fmt failed"/usr/bin/env" "bash" "-c" "opam exec -- dune build @fmt --ignore-promoted-rules || (echo "dune build @fmt failed"; exit 2)" failed with exit status 22025-11-30 15:24.50: Job failed: Failed: Build failed