From 489524413bf56d548a2ad1faa2590cdeb826e05a Mon Sep 17 00:00:00 2001
From: Trevor Gross <tmgross@umich.edu>
Date: Sun, 22 Dec 2024 10:14:56 +0000
Subject: [PATCH] Forward the `CI` environment variable when running in Docker

We want to be able to adjust our configuration based on whether we are
running in CI, propagate this so our tests can use it.
---
 library/compiler-builtins/libm/ci/run-docker.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/library/compiler-builtins/libm/ci/run-docker.sh b/library/compiler-builtins/libm/ci/run-docker.sh
index a040126df845..d9f29656d713 100755
--- a/library/compiler-builtins/libm/ci/run-docker.sh
+++ b/library/compiler-builtins/libm/ci/run-docker.sh
@@ -28,6 +28,7 @@ run() {
     docker run \
         --rm \
         --user "$(id -u):$(id -g)" \
+        -e CI \
         -e RUSTFLAGS \
         -e CARGO_HOME=/cargo \
         -e CARGO_TARGET_DIR=/target \