From 06f3bdadb99ecec83aafbe7a523a717a2c48ce2e Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 4 Dec 2024 11:09:26 -0500 Subject: [PATCH] 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 089b9e2a..3c1554a3 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 picos 0.6 -y -n + - run: opam pin picos 0.6.0 -y -n - run: opam install odig moonpool moonpool-lwt moonpool-io diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 4947cdbf..c4aba613 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -29,7 +29,7 @@ jobs: dune-cache: true allow-prerelease-opam: true - - run: opam pin picos 0.6 -y -n + - run: opam pin picos 0.6.0 -y -n - run: opam install -t moonpool moonpool-lwt moonpool-io --deps-only if: matrix.ocaml-compiler == '5.2'