fixup docker

Author: gnzlbg

ci/run-docker.sh

@@ -15,7 +15,7 @@ run() {
            --rm \
            --user "$(id -u)":"$(id -g)" \
            --env CARGO_HOME=/cargo \
-           --env CARGO_TARGET_DIR=/target \
+           --env CARGO_TARGET_DIR=/checkout/target \
            --volume "$(dirname "$(dirname "$(command -v cargo)")")":/cargo \
            --volume "$(rustc --print sysroot)":/rust:ro \
            --volume "$(pwd)":/checkout:ro \