pin opam same commit as the pipeline

ocaml-doc · Jan 21, 2024 · 7d21945 · 7d21945
1 parent 2cc77b2
commit 7d21945
Show file tree

Hide file tree

Showing 4 changed files with 14 additions and 2 deletions.
diff --git a/voodoo-do.opam b/voodoo-do.opam
@@ -32,3 +32,6 @@ build: [
   ]
 ]
 dev-repo: "git+https://github.com/ocaml-doc/voodoo.git"
+pin-depends: [
+  ["odoc.dev" "git+https://github.com/ocaml/odoc#103dac4c370aa2ad5aca7ba54f02f8e06adb941b"]
+]
diff --git a/voodoo-do.opam.template b/voodoo-do.opam.template
@@ -0,0 +1,3 @@
+pin-depends: [
+  ["odoc.dev" "git+https://github.com/ocaml/odoc#103dac4c370aa2ad5aca7ba54f02f8e06adb941b"]
+]
diff --git a/voodoo-gen.opam b/voodoo-gen.opam
@@ -39,4 +39,7 @@ build: [
 dev-repo: "git+https://github.com/ocaml-doc/voodoo.git"
 available: [ os-distribution != "alpine" & arch != "ppc64"]
 # PPC64 fails to build with stack overflow see https://github.com/ocaml/ocaml/issues/11415
-# Alpine-3.16 doesn't have a pandoc package, however 3.17 does
+# Alpine-3.16 doesn't have a pandoc package, however 3.17 does
+pin-depends: [
+  ["odoc.dev" "git+https://github.com/ocaml/odoc#103dac4c370aa2ad5aca7ba54f02f8e06adb941b"]
+]
diff --git a/voodoo-gen.opam.template b/voodoo-gen.opam.template
@@ -1,3 +1,6 @@
 available: [ os-distribution != "alpine" & arch != "ppc64"]
 # PPC64 fails to build with stack overflow see https://github.com/ocaml/ocaml/issues/11415
-# Alpine-3.16 doesn't have a pandoc package, however 3.17 does
+# Alpine-3.16 doesn't have a pandoc package, however 3.17 does
+pin-depends: [
+  ["odoc.dev" "git+https://github.com/ocaml/odoc#103dac4c370aa2ad5aca7ba54f02f8e06adb941b"]
+]