From 584db0236ca45207dd4515b7413bdbe5c2d57ac8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ren=C3=A9=20Meusel?= Date: Fri, 1 Nov 2024 15:41:53 +0100 Subject: [PATCH] Limbo test suite revision in repo_config.env --- src/configs/repo_config.env | 3 +++ src/scripts/ci/setup_gh_actions.sh | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/src/configs/repo_config.env b/src/configs/repo_config.env index 179ee902805..2c53506e944 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 c448da817c0..5ee65a415d4 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