Getting StartedDocumentation
Organisationsmirageirminf89186 (multicore-safety)(lint-fmt)

(lint-fmt)

Link Copied
Code Copied

Logs

Show raw logs
2026-04-03 14:11.45: New job: test mirage/irmin https://github.com/mirage/irmin.git#refs/heads/multicore-safety (f89186fc9dd3793cd311e2c8caa46d820f9eff26) (linux-x86_64:(lint-fmt))
Base: ocaml/opam:debian-13-ocaml-4.08@sha256:048f41796adc21a1c591ba8a7027365f75adbd0cc47a89cb4ad5d856f4815f47
ocamlformat version: version 0.28.1 (from opam)


To reproduce locally:


git clone --recursive "https://github.com/mirage/irmin.git" -b "multicore-safety" && cd "irmin" && git reset --hard f89186fc
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.08@sha256:048f41796adc21a1c591ba8a7027365f75adbd0cc47a89cb4ad5d856f4815f47
USER 1000:1000
RUN cd ~/opam-repository && (git cat-file -e 3f91b1a4e14ca8dfac77aab17a7ed4a7857644e1 || git fetch origin master) && git reset -q --hard 3f91b1a4e14ca8dfac77aab17a7ed4a7857644e1 && git log --no-decorate -n1 --oneline && opam update -u
RUN opam depext -i dune
WORKDIR /src
RUN opam depext -i ocamlformat=0.28.1
COPY --chown=1000:1000 . /src/
RUN opam exec -- dune build @fmt --ignore-promoted-rules || (echo "dune build @fmt failed"; exit 2)


END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK


2026-04-03 14:11.45: Using cache hint "mirage/irmin-ocaml/opam:debian-13-ocaml-4.08@sha256:048f41796adc21a1c591ba8a7027365f75adbd0cc47a89cb4ad5d856f4815f47-debian-13-4.08_opam-2.5-ocamlformat-3f91b1a4e14ca8dfac77aab17a7ed4a7857644e1"
2026-04-03 14:11.45: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.08@sha256:048f41796adc21a1c591ba8a7027365f75adbd0cc47a89cb4ad5d856f4815f47)
(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 3f91b1a4e14ca8dfac77aab17a7ed4a7857644e1 || git fetch origin master) && git reset -q --hard 3f91b1a4e14ca8dfac77aab17a7ed4a7857644e1 && 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)"))
)


2026-04-03 14:11.45: Waiting for resource in pool OCluster
2026-04-03 14:11.45: Waiting for worker…
2026-04-03 14:13.12: Got resource from pool OCluster
Building on phoebe.caelum.ci.dev
HEAD is now at 1bf981bc64 Update irmin.mli examples from Lwt to direct-style
HEAD is now at f89186fc9d Improve watch.ml comments and error message


(from ocaml/opam:debian-13-ocaml-4.08@sha256:048f41796adc21a1c591ba8a7027365f75adbd0cc47a89cb4ad5d856f4815f47)
2026-04-03 14:13.15 ---> using "867303d7f04cee0d3e23016229d2a45a69516628a14dbff52754cd3cb283f66f" 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 3f91b1a4e14ca8dfac77aab17a7ed4a7857644e1 || git fetch origin master) && git reset -q --hard 3f91b1a4e14ca8dfac77aab17a7ed4a7857644e1 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch                  master     -> FETCH_HEAD
ffb54b9bdd..c0deda526f  master     -> origin/master
3f91b1a4e1 Merge pull request #29568 from Julow/ocamlformat-constraints-dune322


<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
default (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)


The following actions will be performed:
- recompile ocaml-base-compiler 4.08.1* [upstream changes]
- recompile ocaml-config        1       [uses ocaml-base-compiler]
- recompile ocaml               4.08.1  [uses ocaml-base-compiler]
- recompile opam-depext         1.2.3   [uses ocaml]
===== 4 to recompile =====


<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[ocaml-base-compiler.4.08.1] found in cache
[opam-depext.1.2.3] found in cache


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> removed   opam-depext.1.2.3
-> removed   ocaml.4.08.1
-> removed   ocaml-config.1
-> removed   ocaml-base-compiler.4.08.1
-> installed ocaml-base-compiler.4.08.1
-> installed ocaml-config.1
-> installed ocaml.4.08.1
-> installed opam-depext.1.2.3
Done.
# Run eval $(opam env) to update the current shell environment
2026-04-03 14:13.15 ---> using "32d1b69e67f451f9098a103e97d6cfda36f7531338cb72c13390c3cd07390654" 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 packages
The following actions will be performed:
- install dune 3.22.0


<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[dune.3.22.0] found in cache


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed dune.3.22.0
Done.
# Run eval $(opam env) to update the current shell environment
2026-04-03 14:13.15 ---> using "08096ea5f63aa8c8fb03277641e4c72ebc81499f7a7a3889ebe570a785b47aa0" 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 packages
The 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         20260209 [required by ocamlformat-lib]
- install cmdliner          2.1.0    [required by ocamlformat]
- install ocaml-version     4.0.4    [required by ocamlformat-lib]
- install csexp             1.5.2    [required by ocamlformat]
- install menhirSdk         20260209 [required by ocamlformat-lib]
- install menhirGLR         20260209 [required by menhir]
- install camlp-streams     5.0.1    [required by ocamlformat-lib]
- install seq               base     [required by re]
- install fix               20250919 [required by ocamlformat-lib]
- install ocamlfind         1.9.8    [required by ocp-indent, astring, fpath, uuseg]
- install menhirCST         20260209 [required by menhir]
- install dune-build-info   3.22.0   [required by ocamlformat-lib]
- install dune-configurator 3.22.0   [required by base]
- install re                1.11.0   [required by ocamlformat]
- install topkg             1.1.1    [required by fpath, astring, uuseg]
- install ocp-indent        1.9.0    [required by ocamlformat-lib]
- install menhir            20260209 [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
===== 29 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.1.0] found in cache
[csexp.1.5.2] found in cache
[dune-build-info.3.22.0] found in cache
[dune-configurator.3.22.0] found in cache
[either.1.0.0] found in cache
[fix.20250919] found in cache
[fpath.0.7.3] found in cache
[menhir.20260209] found in cache
[menhirCST.20260209] found in cache
[menhirGLR.20260209] found in cache
[menhirLib.20260209] found in cache
[menhirSdk.20260209] found in cache
[ocaml-version.4.0.4] 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 dune-build-info.3.22.0
-> installed either.1.0.0
-> installed fix.20250919
-> installed menhirCST.20260209
-> installed menhirGLR.20260209
-> installed cmdliner.2.1.0
-> installed menhirLib.20260209
-> installed menhirSdk.20260209
-> installed ocaml-version.4.0.4
-> installed re.1.11.0
-> installed sexplib0.v0.14.0
-> installed dune-configurator.3.22.0
-> installed ocamlfind.1.9.8
-> installed ocp-indent.1.9.0
-> installed ocamlbuild.0.16.1
-> installed base.v0.14.3
-> installed menhir.20260209
-> 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 uucp.15.0.0
-> installed uuseg.15.0.0
-> installed ocamlformat-lib.0.28.1
-> installed ocamlformat.0.28.1
Done.


<><> 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 environment
2026-04-03 14:13.15 ---> using "000cd7b6efe09f2a4b8348720f5b9ec53152237a5149e531611a64528b6a0c00" from cache


/src: (copy (src .) (dst /src/))
2026-04-03 14:13.16 ---> saved as "065821eab1db78165708dbade827c29bb7f8e63eaa97f2b9aea341f6323783ff"


/src: (run (shell "opam exec -- dune build @fmt --ignore-promoted-rules || (echo \"dune build @fmt failed\"; exit 2)"))
Warning: Invalid documentation comment:
File "src/irmin-pack/layout.ml", line 97, characters 27-50:
'{v ... v}' (verbatim text) should begin on its own line.
Warning: Invalid documentation comment:
File "src/irmin-pack/layout.ml", line 97, characters 50-51:
Paragraph should begin on its own line.
Warning: Invalid documentation comment:
File "test/irmin-graphql/common.mli", line 88, character 16 to line 92, character 6:
'{[...]}' (code block) should begin on its own line.
Warning: Invalid documentation comment:
File "test/irmin-graphql/common.mli", line 98, character 16 to line 102, character 6:
'{[...]}' (code block) should begin on its own line.
Warning: Invalid documentation comment:
File "test/irmin-graphql/common.mli", line 104, character 24 to line 108, character 6:
'{[...]}' (code block) should begin on its own line.
Warning: Invalid documentation comment:
File "test/irmin-graphql/common.mli", line 114, character 16 to line 118, character 6:
'{[...]}' (code block) should begin on its own line.
File "src/irmin/indexable_intf.ml", line 1, characters 0-0:
diff --git a/_build/default/src/irmin/indexable_intf.ml b/_build/default/src/irmin/.formatted/indexable_intf.ml
index fe688bf..3c53754 100644
--- a/_build/default/src/irmin/indexable_intf.ml
+++ b/_build/default/src/irmin/.formatted/indexable_intf.ml
@@ -36,9 +36,8 @@ module type S_without_key_impl = sig
val index : [> read ] t -> hash -> key option
(** Indexing maps the hash of a value to a corresponding key of that value in
the store. For stores that are addressed by hashes directly, this is
-      typically [fun _t h -> Key.of_hash h]; for stores with more
-      complex addressing schemes, [index] may attempt a lookup operation in the
-      store.
+      typically [fun _t h -> Key.of_hash h]; for stores with more complex
+      addressing schemes, [index] may attempt a lookup operation in the store.


In general, indexing is best-effort and reveals no information about the
membership of the value in the store. In particular:
File "src/irmin-pack/io/stats.ml", line 1, characters 0-0:
diff --git a/_build/default/src/irmin-pack/io/stats.ml b/_build/default/src/irmin-pack/io/.formatted/stats.ml
index 82fb6fc..2bf34a3 100644
--- a/_build/default/src/irmin-pack/io/stats.ml
+++ b/_build/default/src/irmin-pack/io/.formatted/stats.ml
@@ -134,9 +134,7 @@ module Index = struct
let initial_state = create_index () in
Metrics.v ~origin:Index_stats ~name:"index_metric" ~initial_state t


-  let report index =
-    Metrics.update index (fun _ -> Stats_intf.Index.S.get ())
-
+  let report index = Metrics.update index (fun _ -> Stats_intf.Index.S.get ())
let export m = Metrics.state m
end


@@ -217,9 +215,7 @@ module Latest_gc = struct
let initial_state = None in
Metrics.v ~origin:Latest_gc ~name:"latest_gc_metric" ~initial_state t


-  let clear : stat -> unit =
-   fun m -> Metrics.update m (fun _ -> None)
-
+  let clear : stat -> unit = fun m -> Metrics.update m (fun _ -> None)
let export : stat -> t = Metrics.state


let update : stats -> stat -> unit =
File "src/irmin-fs/unix/irmin_fs_unix.ml", line 1, characters 0-0:
diff --git a/_build/default/src/irmin-fs/unix/irmin_fs_unix.ml b/_build/default/src/irmin-fs/unix/.formatted/irmin_fs_unix.ml
index c74e166..b376804 100644
--- a/_build/default/src/irmin-fs/unix/irmin_fs_unix.ml
+++ b/_build/default/src/irmin-fs/unix/.formatted/irmin_fs_unix.ml
@@ -123,16 +123,16 @@ module IO = struct
let flow = Path.open_out ~sw file ~create:(`Exclusive 0o600) in
Flow.copy_string (string_of_int pid) flow
in
-          try create () with
-          | Eio.Io (Fs.E (Fs.Already_exists _), _) ->
-              let backoff =
-                1.
-                +. Random.float
-                     (let i = float i in
-                      i *. i)
-              in
-              Eio.Time.sleep io.clock (sleep *. backoff);
-              aux (i + 1)
+          try create ()
+          with Eio.Io (Fs.E (Fs.Already_exists _), _) ->
+            let backoff =
+              1.
+              +. Random.float
+                   (let i = float i in
+                    i *. i)
+            in
+            Eio.Time.sleep io.clock (sleep *. backoff);
+            aux (i + 1)
in
aux 1


File "src/irmin/tree.ml", line 1, characters 0-0:
diff --git a/_build/default/src/irmin/tree.ml b/_build/default/src/irmin/.formatted/tree.ml
index c5cf939..750585d 100644
--- a/_build/default/src/irmin/tree.ml
+++ b/_build/default/src/irmin/.formatted/tree.ml
@@ -2895,13 +2895,12 @@ module Make (P : Backend.S) = struct
if not (equal_kinded_hash after (hash tree_after)) then
Irmin_proof.bad_proof_exn "verify_proof: invalid after hash";
(tree_after, result)
-    with
-    | Pruned_hash h ->
-        (* finaly check that [f] only access valid parts of the proof. *)
-        Fmt.kstr Irmin_proof.bad_proof_exn
-          "verify_proof: %s is trying to read through a blinded node or object \
-           (%a)"
-          h.context pp_hash h.hash
+    with Pruned_hash h ->
+      (* finaly check that [f] only access valid parts of the proof. *)
+      Fmt.kstr Irmin_proof.bad_proof_exn
+        "verify_proof: %s is trying to read through a blinded node or object \
+         (%a)"
+        h.context pp_hash h.hash


type verifier_error = [ `Proof_mismatch of string ] [@@deriving irmin]


File "src/irmin-pack/inode.ml", line 1, characters 0-0:
diff --git a/_build/default/src/irmin-pack/inode.ml b/_build/default/src/irmin-pack/.formatted/inode.ml
index 904d395..ee8933c 100644
--- a/_build/default/src/irmin-pack/inode.ml
+++ b/_build/default/src/irmin-pack/.formatted/inode.ml
@@ -2406,10 +2406,10 @@ struct
let decode_bin_length = Inter.Raw.decode_bin_length


let protect_from_invalid_depth_exn f =
-    try f () with
-    | Invalid_depth { expected; got; v } ->
-        let msg = Fmt.to_to_string pp_invalid_depth (expected, got, v) in
-        Error msg
+    try f ()
+    with Invalid_depth { expected; got; v } ->
+      let msg = Fmt.to_to_string pp_invalid_depth (expected, got, v) in
+      Error msg


let integrity_check_inodes t k =
protect_from_invalid_depth_exn @@ fun () ->
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 2
2026-04-03 14:13.22: Job failed: Failed: Build failed