chore: CI

c-cube · Aug 30, 2024 · fb8b612 · fb8b612
1 parent 5d731a9
commit fb8b612
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -20,7 +20,7 @@ jobs:
           allow-prerelease-opam: true
 
       # temporary until it's in a release
-      - run: opam pin https://github.com/c-cube/picos#simon/split-package -y -n
+      - run: opam pin https://github.com/c-cube/picos.git#simon/split-package -y -n
 
       - run: opam install odig moonpool moonpool-lwt
 

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -30,7 +30,7 @@ jobs:
           allow-prerelease-opam: true
 
       # temporary until it's in a release
-      - run: opam pin https://github.com/c-cube/picos#simon/split-package -y -n
+      - run: opam pin https://github.com/c-cube/picos.git#simon/split-package -y -n
 
       - run: opam install -t moonpool moonpool-lwt --deps-only
         if: matrix.ocaml-compiler == '5.2'