From cc6415dece47ea2c9ec7d55831a25b4e3c2aaeb7 Mon Sep 17 00:00:00 2001 From: enitrat Date: Fri, 6 Dec 2024 22:16:22 +0800 Subject: [PATCH] disable cairo native --- .github/workflows/ssj-ef-tests.yml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ssj-ef-tests.yml b/.github/workflows/ssj-ef-tests.yml index d2cf22296..31cccd764 100644 --- a/.github/workflows/ssj-ef-tests.yml +++ b/.github/workflows/ssj-ef-tests.yml @@ -41,7 +41,6 @@ jobs: with: repository: kkrt-labs/ef-tests path: ef-tests # Check out to a subdirectory to avoid cleaning the kakarot-ssj directory - ref: ci/add-native-runtime-env - name: Checkout local skip file uses: actions/checkout@v4 @@ -85,9 +84,11 @@ jobs: - name: Run tests working-directory: ef-tests + # If we want to enable native mode: + # RUST_MIN_STACK=1342177280 make ef-test-v1-native | tee test_v1.out run: | set -o pipefail - RUST_BACKTRACE=1 RUST_MIN_STACK=1342177280 make ef-test-v1-native | tee test_v1.out + make ef-test-v1 | tee test_v1.out set +o pipefail - name: Retrieve ef-tests execution resources