Merge pull request #478 from shym/new-aliases

Small cleanups to ease upstreaming

Author: jmid

.github/runner.sh

@@ -203,7 +203,7 @@ case "$1" in
     ;;
   internaltests)
     cd "$MULTICORETESTSDIR"
-    dune runtest -j1 --no-buffer --display=quiet --cache=disabled --error-reporting=twice test/
+    dune build @internaltests -j1 --no-buffer --display=quiet --cache=disabled --error-reporting=twice
     ;;
   *)
     fatal "Unknown command '$1'"

.github/workflows/common.yml

@@ -36,7 +36,7 @@ on:
       dune_alias:
         description: 'dune alias that should be built in the main step'
         type: string
-        default: 'runtest'
+        default: 'testsuite'
       compiler_repository:
         description: 'Repository from which to fetch the compiler'
         type: string

.github/workflows/linux-500-debug.yml

@@ -12,5 +12,5 @@ jobs:
     with:
       compiler_ref: refs/tags/5.0.0
       dune_profile: 'debug-runtime'
-      runparam: 's=4096,v=0,V=1'
+      runparam: 's=4096,V=1'
       timeout: 240

.github/workflows/linux-51x-debug.yml

@@ -12,5 +12,5 @@ jobs:
     with:
       compiler_ref: refs/tags/5.1.1
       dune_profile: 'debug-runtime'
-      runparam: 's=4096,v=0,V=1'
+      runparam: 's=4096,V=1'
       timeout: 240

.github/workflows/linux-520-debug.yml

@@ -16,5 +16,5 @@ jobs:
     with:
       compiler_ref: refs/tags/5.2.0
       dune_profile: 'debug-runtime'
-      runparam: 's=4096,v=0,V=1'
+      runparam: 's=4096,V=1'
       timeout: 240

.github/workflows/linux-530-trunk-debug.yml

@@ -16,5 +16,5 @@ jobs:
     with:
       compiler_ref: refs/heads/5.3
       dune_profile: 'debug-runtime'
-      runparam: 's=4096,v=0,V=1'
+      runparam: 's=4096,V=1'
       timeout: 240

.github/workflows/linux-540-trunk-debug.yml

@@ -16,5 +16,5 @@ jobs:
     with:
       compiler_ref: refs/heads/trunk
       dune_profile: 'debug-runtime'
-      runparam: 's=4096,v=0,V=1'
+      runparam: 's=4096,V=1'
       timeout: 240

dune

@@ -16,15 +16,27 @@
  (package multicoretests)
  (deps (alias src/default)))
 
+; The main test alias
+(alias
+ (name testsuite)
+ (package multicoretests)
+ (deps
+  (alias_rec src/runtest)))
+
+; The internal tests alias
+(alias
+ (name internaltests)
+ (package multicoretests)
+ (deps
+  (alias_rec test/runtest)))
+
 ; The aliases to control what is run in CI
 ; It can either be the full test suite, or focus on a single test
-; Aliases ci1 and ci2 are useful to split the test suite into
-; subparts, for platforms such as Cygwin which are too slow
 (alias
  (name ci)
  (package multicoretests)
  (deps
-  (alias_rec %{env:DUNE_CI_ALIAS=runtest})))
+  (alias_rec %{env:DUNE_CI_ALIAS=testsuite})))
   ; (alias_rec focusedtest)))
 
 ; @focusedtest

src/array/dune

@@ -15,7 +15,7 @@
  (flags (:standard -w -27))
  (libraries qcheck-lin.domain)
  ; (action (run %{test} --verbose))
- (action (echo "Skipping src/array/%{test} from the test suite\n\n"))
+ (action (progn))
 )
 
 (test

src/atomic/dune

@@ -19,7 +19,7 @@
  (flags (:standard -w -27))
  (libraries qcheck-lin.domain)
  ; (action (run %{test} --verbose))
- (action (echo "Skipping src/atomic/%{test} from the test suite\n\n"))
+ (action (progn))
 )
 
 (test