From 5463a1a90954a77b6c5237fb5ccb4a3542042f40 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 30 Aug 2024 12:33:30 -0400 Subject: [PATCH] chore: try to fix CI --- .github/workflows/gh-pages.yml | 9 +++++---- .github/workflows/main.yml | 4 +++- 2 files changed, 8 insertions(+), 5 deletions(-) diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index 20fd66df..7e0748b4 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -19,11 +19,12 @@ jobs: dune-cache: true allow-prerelease-opam: true - - name: Deps - run: opam install odig moonpool moonpool-lwt + # temporary until it's in a release + - run: opam pin https://github.com/c-cube/picos#simon/split-package -y -n - - name: Build - run: opam exec -- odig odoc --cache-dir=_doc/ moonpool moonpool-lwt + - run: opam install odig moonpool moonpool-lwt + + - run: opam exec -- odig odoc --cache-dir=_doc/ moonpool moonpool-lwt - name: Deploy uses: peaceiris/actions-gh-pages@v3 diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index e5bb01a8..07a9d148 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -29,7 +29,9 @@ jobs: dune-cache: true allow-prerelease-opam: true - - run: opam pin picos --dev -y -n && opam install picos + # temporary until it's in a release + - run: opam pin https://github.com/c-cube/picos#simon/split-package -y -n + - run: opam install -t moonpool moonpool-lwt --deps-only if: matrix.ocaml-compiler == '5.2' - run: opam install -t moonpool --deps-only