fix src/bigarray/stm_tests.exe not being built by default

jmid · jmid · commit e27d8e25b32b · 2022-11-14T12:27:53.000+01:00
diff --git a/src/bigarray/dune b/src/bigarray/dune
@@ -5,7 +5,9 @@
 (alias
  (name default)
  (package multicoretests)
- (deps lin_tests_dsl.exe))
+ (deps
+   stm_tests.exe ;; currently not run on CI
+   lin_tests_dsl.exe))
 
 (executable
  (name lin_tests_dsl)
