chore: try to fix gh-pages

This commit is contained in:
Simon Cruanes 2022-05-04 12:56:22 -04:00
parent 6de3622a42
commit 60c6386742
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -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