From 3d6cc7dc91f93837436610beb3039885dd86bbc1 Mon Sep 17 00:00:00 2001
From: Bart Thomee <11445373+bthomee@users.noreply.github.com>
Date: Mon, 20 Oct 2025 12:11:03 -0400
Subject: [PATCH] Restore CI env vars

---
 cmake/RippledSanity.cmake | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/cmake/RippledSanity.cmake b/cmake/RippledSanity.cmake
index 29178cc488..aa09b76e5a 100644
--- a/cmake/RippledSanity.cmake
+++ b/cmake/RippledSanity.cmake
@@ -43,7 +43,8 @@ else ()
   set (is_linux FALSE)
 endif ()
 
-if (DEFINED $ENV{GITHUB_ACTIONS})
+# The CI environment variable is set by GitHub Actions.
+if ("$ENV{CI}" STREQUAL "true" OR "$ENV{CONTINUOUS_INTEGRATION}" STREQUAL "true")
   set (is_ci TRUE)
 else ()
   set (is_ci FALSE)