Add SKIP_SOROBAN_TESTS and use in second CI run

Author: graydon

ci-build.sh

@@ -201,6 +201,7 @@ time make check
 echo Running fixed check-test-tx-meta tests
 export TEST_SPEC='[tx]'
 export STELLAR_CORE_TEST_PARAMS="--ll fatal -r simple --all-versions --rng-seed 12345 --check-test-tx-meta ${SRC_DIR}/test-tx-meta-baseline-${PROTOCOL}"
+export SKIP_SOROBAN_TESTS=true
 time make check
 
 echo All done

src/Makefile.am

@@ -128,6 +128,7 @@ CARGO=cargo +$(RUST_TOOLCHAIN_CHANNEL)
 # we pass some configuration by environment variable
 # to tests since they can't take command-line arguments.
 export RUST_TOOLCHAIN_CHANNEL
+export SKIP_SOROBAN_TESTS
 export top_srcdir
 export top_builddir
 

src/test/check-sorobans

@@ -17,6 +17,12 @@ then
     exit 1
 fi
 
+if [ -n "${SKIP_SOROBAN_TESTS}" ];
+then
+    echo "skipping soroban tests"
+    exit 0
+fi
+
 # Define tests to skip
 # `test_expected_size` tests the actual memory sizes of types used in memory metering.
 # This test is skipped because memory sizes vary based on Rust compiler version and