wip: test hangs

mirage · Sep 3, 2024 · 186e5ef · 186e5ef
1 parent 0fd47cc
commit 186e5ef
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 10 deletions.
diff --git a/dune b/dune
@@ -1,6 +1,6 @@
 (vendored_dirs vendors)
 
-(mdx
- (files README.md)
- (package irmin-cli)
- (packages irmin-cli))
+; (mdx
+;  (files README.md)
+;  (package irmin-cli)
+;  (packages irmin-cli))
diff --git a/dune-project b/dune-project
@@ -1,4 +1,7 @@
 (lang dune 2.9)
+
 (name irmin)
+
 (cram enable)
-(using mdx 0.1)
+
+; (using mdx 0.1)
diff --git a/examples/dune b/examples/dune
@@ -56,8 +56,8 @@
   custom_merge.exe
   fold.exe))
 
-(mdx
- (files merkle_proofs.md)
- ; (preludes merkle_proofs_prelude.ml)
- (package irmin-cli)
- (packages irmin-cli))
+; (mdx
+;  (files merkle_proofs.md)
+;  ; (preludes merkle_proofs_prelude.ml)
+;  (package irmin-cli)
+;  (packages irmin-cli))