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 12:31:13 +01:00
parent 754fb24313
commit 9ed728d19e
No known key found for this signature in database
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

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

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