dune: do not run tests during build

UQ-PAC · Mar 12, 2024 · 8042200 · 8042200
1 parent ffe4be6
commit 8042200
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/dune b/dune
@@ -21,3 +21,7 @@
   )
   (section (site (asli aslfiles)))
  )
+
+(alias
+ (name default)
+ (deps (package asli)))