diff --git a/CHANGES.md b/CHANGES.md index cec738c906b..99376026901 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -6,6 +6,8 @@ - Improve GC reachability traversal to optimize memory, speed and remove the need for temporary files. (#2085, @art-w) +## 3.5.1 + ### Fixed - **irmin-pack** diff --git a/irmin-cli.opam b/irmin-cli.opam index e6101594287..c72f14541a3 100644 --- a/irmin-cli.opam +++ b/irmin-cli.opam @@ -10,7 +10,7 @@ doc: "https://mirage.github.io/irmin/" build: [ ["dune" "subst"] {dev} ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name "-j" jobs] {with-test} + ["dune" "runtest" "-p" name "-j" jobs] {with-test & os != "macos"} ] available: arch != "arm32" & arch != "x86_32" diff --git a/irmin-graphql.opam b/irmin-graphql.opam index 08abc2b2b3c..7d6e9e1c482 100644 --- a/irmin-graphql.opam +++ b/irmin-graphql.opam @@ -10,7 +10,7 @@ doc: "https://mirage.github.io/irmin/" build: [ ["dune" "subst"] {dev} ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name "-j" jobs] {with-test} + ["dune" "runtest" "-p" name "-j" jobs] {with-test & os != "macos"} ] depends: [ diff --git a/irmin-http.opam b/irmin-http.opam index a8557f719c5..a04b8a931e5 100644 --- a/irmin-http.opam +++ b/irmin-http.opam @@ -10,7 +10,7 @@ doc: "https://mirage.github.io/irmin/" build: [ ["dune" "subst"] {dev} ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name "-j" jobs] {with-test} + ["dune" "runtest" "-p" name "-j" jobs] {with-test & os != "macos"} ] depends: [ diff --git a/src/irmin-pack/unix/checks.ml b/src/irmin-pack/unix/checks.ml index 8ca033c3107..e3fb630fd60 100644 --- a/src/irmin-pack/unix/checks.ml +++ b/src/irmin-pack/unix/checks.ml @@ -200,9 +200,10 @@ module Make (Store : Store) = struct | Error (`Msg m) -> Fmt.kstr Lwt.fail_with "Invalid hash %S" m) heads in - let+ result = + let* result = Store.integrity_check ~ppf:Format.err_formatter ~auto_repair ~heads repo in + let+ () = Store.Repo.close repo in handle_result ?name:None result let heads =