Limbo test suite revision in repo_config.env

randombit · Nov 1, 2024 · 7bea280 · 7bea280
1 parent f760c81
commit 7bea280
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git 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
@@ -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