From a369b519ddb8eeb1b270af18f24503bf79b45e47 Mon Sep 17 00:00:00 2001 From: Quentin Gliech Date: Thu, 17 Oct 2024 14:42:34 +0200 Subject: [PATCH] TEMP: pretend this is not a PR CI --- .ci/scripts/calculate_jobs.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.ci/scripts/calculate_jobs.py b/.ci/scripts/calculate_jobs.py index 15f2d94a810..e292d02c2e5 100755 --- a/.ci/scripts/calculate_jobs.py +++ b/.ci/scripts/calculate_jobs.py @@ -31,7 +31,8 @@ def set_output(key: str, value: str): print(f"{key}={value}", file=f) -IS_PR = os.environ["GITHUB_REF"].startswith("refs/pull/") +# TEMP: this is to test the new targets in the PR CI +IS_PR = False # First calculate the various trial jobs. #