diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index 7b457834..724a684b 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -24,15 +24,12 @@ jobs: - name: Pin run: opam pin -n . - if: steps.cache-opam.outputs.cache-hit != 'true' - name: Depext run: opam depext -yt containers containers-data containers-thread - if: steps.cache-opam.outputs.cache-hit != 'true' - name: Deps run: opam install -d . --deps-only - if: steps.cache-opam.outputs.cache-hit != 'true' - name: Build run: opam exec -- dune build @doc