checkout specific irmin commit

ocaml · Jun 28, 2023 · 016ffd3 · 016ffd3
1 parent 6535868
commit 016ffd3
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/regression/build-irmin b/regression/build-irmin
@@ -1,6 +1,7 @@
 #!/bin/bash
 git clone https://github.com/mirage/irmin.git
 cd irmin
+git checkout 8da4d16e7cc8beddfc8a824feca325426bae08a9
 sudo apt install -y gnuplot-x11 libgmp-dev pkg-config libffi-dev
 opam install . --deps-only --with-test --no-checksums -y
 opam exec -- dune build
diff --git a/regression/dune b/regression/dune
@@ -6,5 +6,4 @@
   (= true %{env:REGRESSION=false}))
  (applies_to :whole_subtree)
  (deps
-  %{bin:build-irmin})
-)
+  %{bin:build-irmin}))