From 8f472d2626fc97848bb1dcec3f1efa9151b6eab5 Mon Sep 17 00:00:00 2001 From: Alexandre Plateau Date: Sun, 26 Nov 2023 16:06:44 +0100 Subject: [PATCH] ci(temp): do not run the modules tests in the CI --- .github/workflows/ci.yml | 10 +++++----- tests/arkscript/run-tests | 4 +--- 2 files changed, 6 insertions(+), 8 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 561a3c423..22acdc50d 100644 --- 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 index 48e5226c6..aa66d68e2 100755 --- 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