ci(temp): do not run the modules tests in the CI

ArkScript-lang · Nov 26, 2023 · 99bb6d5 · 99bb6d5
1 parent 8d5b300
commit 99bb6d5
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 8 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -272,11 +272,11 @@ jobs:
         export ASAN_OPTIONS=detect_odr_violation=0
         (cd tests/arkscript ; bash ./run-tests)
 
-    - name: Modules tests
-      shell: bash
-      run: |
-        export ASAN_OPTIONS=detect_odr_violation=0
-        (source ./lib/modules/.github/run-tests)
+    #- name: Modules tests
+    #  shell: bash
+    #  run: |
+    #    export ASAN_OPTIONS=detect_odr_violation=0
+    #    (source ./lib/modules/.github/run-tests)
 
     - name: Runtime error message generation tests
       shell: bash

diff --git a/tests/arkscript/run-tests b/tests/arkscript/run-tests
@@ -11,6 +11,4 @@ else
 fi
 
 $ark unittests.ark --lib ../../lib/ || exit 1
-for file in ../../lib/std/tests/*.ark; do
-    $ark $file --lib ../../lib/
-done
+$ark ../../lib/std/tests/all.ark --lib ../../lib/ || exit 1