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