Merge pull request #2167 from metanivek/351_fixes

mirage · Jan 11, 2023 · ff45092 · ff45092
2 parents 41a85ff + 63ad5c7
commit ff45092
Show file tree

Hide file tree

Showing 5 changed files with 7 additions and 4 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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 =