Skip to content

Commit 016ffd3

Browse files
committed
checkout specific irmin commit
1 parent 6535868 commit 016ffd3

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

regression/build-irmin

+1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
#!/bin/bash
22
git clone https://github.com/mirage/irmin.git
33
cd irmin
4+
git checkout 8da4d16e7cc8beddfc8a824feca325426bae08a9
45
sudo apt install -y gnuplot-x11 libgmp-dev pkg-config libffi-dev
56
opam install . --deps-only --with-test --no-checksums -y
67
opam exec -- dune build

regression/dune

+1-2
Original file line numberDiff line numberDiff line change
@@ -6,5 +6,4 @@
66
(= true %{env:REGRESSION=false}))
77
(applies_to :whole_subtree)
88
(deps
9-
%{bin:build-irmin})
10-
)
9+
%{bin:build-irmin}))

0 commit comments

Comments
 (0)