diff --git a/src/configs/repo_config.env b/src/configs/repo_config.env index 179ee90280..2c53506e94 100644 --- a/src/configs/repo_config.env +++ b/src/configs/repo_config.env @@ -27,6 +27,9 @@ JITTERENTROPY_VERSION="3.6.0" # The version of the Intel SDE tool to use for running the Intel SDE tests INTEL_SDE_VERSION="sde-external-9.38.0-2024-04-18-lin" +# Limbo test suite revision to be used in run_limbo_tests.py +LIMBO_TEST_SUITE_REVISION="f98aa03f45d108ae4e1bc5a61ec4bd0b8d137559" + # The maximum size of the compiler cache in CI # Those variables are directly consumed by ccache and sccache respectively CCACHE_MAXSIZE="200M" diff --git a/src/scripts/ci/setup_gh_actions.sh b/src/scripts/ci/setup_gh_actions.sh index c448da817c..5ee65a415d 100755 --- a/src/scripts/ci/setup_gh_actions.sh +++ b/src/scripts/ci/setup_gh_actions.sh @@ -159,7 +159,7 @@ if type -p "apt-get"; then elif [ "$TARGET" = "limbo" ]; then sudo apt-get -qq install python3-dateutil - wget -nv https://raw.githubusercontent.com/C2SP/x509-limbo/f98aa03f45d108ae4e1bc5a61ec4bd0b8d137559/limbo.json -O "${SCRIPT_LOCATION}/../../../limbo.json" + wget -nv "https://raw.githubusercontent.com/C2SP/x509-limbo/${LIMBO_TEST_SUITE_REVISION}/limbo.json" -O "${SCRIPT_LOCATION}/../../../limbo.json" elif [ "$TARGET" = "coverage" ] || [ "$TARGET" = "sanitizer" ]; then if [ "$TARGET" = "coverage" ]; then