Skip to content

Commit 58603ed

Browse files
committed
ci: update odiff
1 parent 730ba54 commit 58603ed

2 files changed

Lines changed: 2 additions & 2 deletions

File tree

osnap.opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -50,5 +50,5 @@ dev-repo: "git+https://github.com/eWert-Online/OSnap.git"
5050
pin-depends: [
5151
[ "cdp.dev" "git+https://github.com/eWert-Online/reason-cdp.git#44707c5bc90501935e130025594d86d203e50c71"]
5252
[ "libspng.dev" "git+https://github.com/eWert-Online/esy-libspng.git#opam"]
53-
[ "odiff-core.dev" "git+https://github.com/dmtrKovalenko/odiff.git#ocaml-version"]
53+
[ "odiff-core.dev" "git+https://github.com/dmtrKovalenko/odiff.git#df03e4a16e05c504342225454c2a318679dd1fe5"]
5454
]

osnap.opam.template

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
pin-depends: [
22
[ "cdp.dev" "git+https://github.com/eWert-Online/reason-cdp.git#44707c5bc90501935e130025594d86d203e50c71"]
33
[ "libspng.dev" "git+https://github.com/eWert-Online/esy-libspng.git#opam"]
4-
[ "odiff-core.dev" "git+https://github.com/dmtrKovalenko/odiff.git#ocaml-version"]
4+
[ "odiff-core.dev" "git+https://github.com/dmtrKovalenko/odiff.git#df03e4a16e05c504342225454c2a318679dd1fe5"]
55
]

0 commit comments

Comments
 (0)