From eb236441957fdddc14037744006de1f2f3b43ee0 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 20 Jul 2021 00:46:16 -0400 Subject: [PATCH] fix ci for gh-pages --- .github/workflows/gh-pages.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index 3702d766..ffb773c3 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -26,7 +26,7 @@ jobs: run: opam pin -n . - name: Depext - run: opam depext -yt sidekick sidekick-arith + run: opam depext -yt sidekick sidekick-base - name: Deps run: opam install -d . --deps-only