From f313361df743a26811509e2e9828b30098d634c6 Mon Sep 17 00:00:00 2001 From: Fardale Date: Tue, 26 Jan 2021 12:03:12 +0100 Subject: [PATCH] try to fix CI for gh-pages --- .github/workflows/gh-pages.yml | 3 --- 1 file changed, 3 deletions(-) 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