From afa725825a40699a819d9ef8a9eebdbc890bc80e Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 10 Jun 2021 12:00:56 -0400 Subject: [PATCH] update CI --- .github/workflows/gh-pages.yml | 2 +- .github/workflows/main.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index f1492d9f..3702d766 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 containers containers-data containers-thread + run: opam depext -yt sidekick sidekick-arith - name: Deps run: opam install -d . --deps-only diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index ef99795d..6a88a374 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -20,7 +20,7 @@ jobs: with: ocaml-compiler: ${{ matrix.ocaml-compiler }} - run: opam pin -n . - - run: opam depext -yt sidekick sidekick-bin + - run: opam depext -yt sidekick sidekick-arith sidekick-bin - run: opam install -t . --deps-only - run: opam exec -- dune build - run: opam exec -- dune runtest