user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

debug

Browse source
This commit is contained in:
MarcoIeni 2024-12-11 11:43:11 +01:00
parent a8bc3cf38b
commit d74de1fdb1
No known key found for this signature in database
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/ci/docker/run.sh
View file

@ -120,6 +120,7 @@ if [ -f "$docker_dir/$image/Dockerfile" ]; then
# instead of the one defined in the Dockerfile.
if [ -n "${DOCKER_SCRIPT+x}" ]; then
build_args+=("--build-arg" "SCRIPT_ARG=${DOCKER_SCRIPT}")
echo "Using docker build arg SCRIPT_ARG=${DOCKER_SCRIPT}"
fi
# On non-CI jobs, we try to download a pre-built image from the rust-lang-ci