try to fix CI for gh-pages

This commit is contained in:
Fardale 2021-01-26 12:03:12 +01:00
parent 5520735a77
commit f313361df7

View file

@ -24,15 +24,12 @@ jobs:
- name: Pin - name: Pin
run: opam pin -n . run: opam pin -n .
if: steps.cache-opam.outputs.cache-hit != 'true'
- name: Depext - name: Depext
run: opam depext -yt containers containers-data containers-thread run: opam depext -yt containers containers-data containers-thread
if: steps.cache-opam.outputs.cache-hit != 'true'
- name: Deps - name: Deps
run: opam install -d . --deps-only run: opam install -d . --deps-only
if: steps.cache-opam.outputs.cache-hit != 'true'
- name: Build - name: Build
run: opam exec -- dune build @doc run: opam exec -- dune build @doc