Our ocaml-ci requires commit hashes, didn't work with branch addresses

lukstafi · lukstafi · commit edde326f6f39 · 2025-11-28T20:51:29.000+01:00
Signed-off-by: lukstafi &lt;lukstafi@users.noreply.github.com&gt;
diff --git a/arrayjit.opam b/arrayjit.opam
@@ -63,6 +63,6 @@ build: [
 dev-repo: "git+https://github.com/lukstafi/ocannl.git"
 x-maintenance-intent: ["(latest)"]
 pin-depends: [
-  ["ppx_minidebug.dev" "git+https://github.com/lukstafi/ppx_minidebug.git#main"]
-  ["notty-community.dev" "git+https://github.com/lukstafi/notty-community.git#master"]
+  ["ppx_minidebug.dev" "git+https://github.com/lukstafi/ppx_minidebug.git#86a19de906add05caa0aa1626add1572da2f070d"]
+  ["notty-community.dev" "git+https://github.com/lukstafi/notty-community.git#708e36ba78ecb4ec1bf12de2b087e549d6e42893"]
 ]
diff --git a/arrayjit.opam.template b/arrayjit.opam.template
@@ -1,4 +1,4 @@
 pin-depends: [
-  ["ppx_minidebug.dev" "git+https://github.com/lukstafi/ppx_minidebug.git#main"]
-  ["notty-community.dev" "git+https://github.com/lukstafi/notty-community.git#master"]
+  ["ppx_minidebug.dev" "git+https://github.com/lukstafi/ppx_minidebug.git#86a19de906add05caa0aa1626add1572da2f070d"]
+  ["notty-community.dev" "git+https://github.com/lukstafi/notty-community.git#708e36ba78ecb4ec1bf12de2b087e549d6e42893"]
 ]
diff --git a/neural_nets_lib.opam b/neural_nets_lib.opam
@@ -64,6 +64,6 @@ build: [
 dev-repo: "git+https://github.com/lukstafi/ocannl.git"
 x-maintenance-intent: ["(latest)"]
 pin-depends: [
-  ["ppx_minidebug.dev" "git+https://github.com/lukstafi/ppx_minidebug.git#main"]
-  ["notty-community.dev" "git+https://github.com/lukstafi/notty-community.git#master"]
+  ["ppx_minidebug.dev" "git+https://github.com/lukstafi/ppx_minidebug.git#86a19de906add05caa0aa1626add1572da2f070d"]
+  ["notty-community.dev" "git+https://github.com/lukstafi/notty-community.git#708e36ba78ecb4ec1bf12de2b087e549d6e42893"]
 ]
diff --git a/neural_nets_lib.opam.template b/neural_nets_lib.opam.template
@@ -1,4 +1,4 @@
 pin-depends: [
-  ["ppx_minidebug.dev" "git+https://github.com/lukstafi/ppx_minidebug.git#main"]
-  ["notty-community.dev" "git+https://github.com/lukstafi/notty-community.git#master"]
+  ["ppx_minidebug.dev" "git+https://github.com/lukstafi/ppx_minidebug.git#86a19de906add05caa0aa1626add1572da2f070d"]
+  ["notty-community.dev" "git+https://github.com/lukstafi/notty-community.git#708e36ba78ecb4ec1bf12de2b087e549d6e42893"]
 ]

Original file line number	Diff line number	Diff line change
`@@ -63,6 +63,6 @@ build: [`
`63`	`63`	`dev-repo: "git+https://github.com/lukstafi/ocannl.git"`
`64`	`64`	`x-maintenance-intent: ["(latest)"]`
`65`	`65`	`pin-depends: [`
`66`		`- ["ppx_minidebug.dev" "git+https://github.com/lukstafi/ppx_minidebug.git#main"]`
`67`		`- ["notty-community.dev" "git+https://github.com/lukstafi/notty-community.git#master"]`
	`66`	`+ ["ppx_minidebug.dev" "git+https://github.com/lukstafi/ppx_minidebug.git#86a19de906add05caa0aa1626add1572da2f070d"]`
	`67`	`+ ["notty-community.dev" "git+https://github.com/lukstafi/notty-community.git#708e36ba78ecb4ec1bf12de2b087e549d6e42893"]`
`68`	`68`	`]`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`	`1`	`pin-depends: [`
`2`		`- ["ppx_minidebug.dev" "git+https://github.com/lukstafi/ppx_minidebug.git#main"]`
`3`		`- ["notty-community.dev" "git+https://github.com/lukstafi/notty-community.git#master"]`
	`2`	`+ ["ppx_minidebug.dev" "git+https://github.com/lukstafi/ppx_minidebug.git#86a19de906add05caa0aa1626add1572da2f070d"]`
	`3`	`+ ["notty-community.dev" "git+https://github.com/lukstafi/notty-community.git#708e36ba78ecb4ec1bf12de2b087e549d6e42893"]`
`4`	`4`	`]`
Original file line number	Diff line number	Diff line change
`@@ -64,6 +64,6 @@ build: [`
`64`	`64`	`dev-repo: "git+https://github.com/lukstafi/ocannl.git"`
`65`	`65`	`x-maintenance-intent: ["(latest)"]`
`66`	`66`	`pin-depends: [`
`67`		`- ["ppx_minidebug.dev" "git+https://github.com/lukstafi/ppx_minidebug.git#main"]`
`68`		`- ["notty-community.dev" "git+https://github.com/lukstafi/notty-community.git#master"]`
	`67`	`+ ["ppx_minidebug.dev" "git+https://github.com/lukstafi/ppx_minidebug.git#86a19de906add05caa0aa1626add1572da2f070d"]`
	`68`	`+ ["notty-community.dev" "git+https://github.com/lukstafi/notty-community.git#708e36ba78ecb4ec1bf12de2b087e549d6e42893"]`
`69`	`69`	`]`