Temporarily fix CI for specific platforms issues

mirage · Apr 12, 2024 · eb3a072 · eb3a072
1 parent 3fb0a99
commit eb3a072
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git 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
@@ -62,4 +62,5 @@
 
 (mdx
  (files merkle_proofs.md)
+ (package irmin-cli)
  (libraries irmin irmin-cli irmin-git.unix ppx_irmin))