Fix CI

mirage · Apr 10, 2024 · 2f0716f · 2f0716f
1 parent 397d079
commit 2f0716f
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/examples/dune b/examples/dune
@@ -62,5 +62,4 @@
 
 (mdx
  (files merkle_proofs.md)
- ; (preludes merkle_proofs_prelude.ml)
- (libraries irmin-cli))
+ (libraries irmin irmin-cli irmin-git.unix ppx_irmin))