From fb8b612ffba6b36251e6f8c8f858b6fdf246fdec Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 30 Aug 2024 12:37:04 -0400 Subject: [PATCH] chore: CI --- .github/workflows/gh-pages.yml | 2 +- .github/workflows/main.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index 7e0748b4..3d2ae511 100644 --- 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 index 07a9d148..8b3bba41 100644 --- 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'