diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index 69194a46cc..01170df28f 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -4,6 +4,7 @@ on: push: branches: - main + - eio pull_request: schedule: # Prime the caches every Monday diff --git a/examples/dune b/examples/dune index 28f453fd47..18bf2e2ea2 100644 --- a/examples/dune +++ b/examples/dune @@ -62,4 +62,5 @@ (mdx (files merkle_proofs.md) + (package irmin-cli) (libraries irmin irmin-cli irmin-git.unix ppx_irmin))