From 60c638674209663396ca5402f80bcc19b68c9828 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 4 May 2022 12:56:22 -0400 Subject: [PATCH] chore: try to fix gh-pages --- .github/workflows/gh-pages.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index bb836b76..09ccc0f8 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -27,13 +27,13 @@ jobs: run: opam pin -n . - name: Depext - run: opam depext -yt opentelemetry opentelemetry-lwt opentelemetry-client-ocurl + run: opam depext -yt opentelemetry opentelemetry-lwt opentelemetry-client-ocurl opentelemetry-cohttp-lwt - name: Deps run: opam install -d . --deps-only - name: Build - run: opam exec -- dune build @doc + run: opam exec -- dune build @doc -p opentelemetry,opentelemetry-lwt,opentelemetry-client-ocurl,opentelemetry-cohttp-lwt - name: Deploy uses: peaceiris/actions-gh-pages@v3