diff options
| author | onur-ozkan <work@onurozkan.dev> | 2024-08-05 15:04:39 +0300 |
|---|---|---|
| committer | onur-ozkan <work@onurozkan.dev> | 2024-10-08 18:25:35 +0300 |
| commit | 8a5f418f147204ca3803b986db36d4867cc1cf20 (patch) | |
| tree | 06287bc258a475052bc49688237fc25366ed8925 /src/ci/docker | |
| parent | b0b4f4a1f3bbad98abc08c4ea9dd447d39890b74 (diff) | |
handle CI rustc incompatible runners
Signed-off-by: onur-ozkan <work@onurozkan.dev>
Diffstat (limited to 'src/ci/docker')
| -rwxr-xr-x | src/ci/docker/run.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ci/docker/run.sh b/src/ci/docker/run.sh index fad4b5af095..28487bce482 100755 --- a/src/ci/docker/run.sh +++ b/src/ci/docker/run.sh @@ -343,6 +343,7 @@ docker \ --env PR_CI_JOB \ --env OBJDIR_ON_HOST="$objdir" \ --env CODEGEN_BACKENDS \ + --env DISABLE_CI_RUSTC_IF_INCOMPATIBLE="$DISABLE_CI_RUSTC_IF_INCOMPATIBLE" \ --init \ --rm \ rust-ci \ |