Consistently use backslash directories on Windows

This commit is contained in:
David Tolnay 2025-04-29 11:58:18 -07:00
parent 636f3b2e5c
commit 802126c77d
No known key found for this signature in database
GPG key ID: F9BA143B95FF6D82

View file

@ -63,14 +63,14 @@ runs:
- run: | - run: |
: set $CARGO_HOME : set $CARGO_HOME
echo CARGO_HOME=${CARGO_HOME:-${{runner.os == 'Windows' && '$USERPROFILE' || '$HOME'}}/.cargo} >> $GITHUB_ENV echo CARGO_HOME=${CARGO_HOME:-'${{runner.os == 'Windows' && '$USERPROFILE\.cargo' || '$HOME/.cargo'}}'} >> $GITHUB_ENV
shell: bash shell: bash
- run: | - run: |
: install rustup if needed : install rustup if needed
if ! command -v rustup &>/dev/null; then if ! command -v rustup &>/dev/null; then
curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused --location --silent --show-error --fail https://sh.rustup.rs | sh -s -- --default-toolchain none -y curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused --location --silent --show-error --fail https://sh.rustup.rs | sh -s -- --default-toolchain none -y
echo "$CARGO_HOME/bin" >> $GITHUB_PATH echo '$CARGO_HOME/bin' >> $GITHUB_PATH
fi fi
if: runner.os != 'Windows' if: runner.os != 'Windows'
shell: bash shell: bash
@ -80,7 +80,7 @@ runs:
if ! command -v rustup &>/dev/null; then if ! command -v rustup &>/dev/null; then
curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused --location --silent --show-error --fail https://static.rust-lang.org/rustup/dist/${{ runner.arch == 'ARM64' && 'aarch64' || 'x86_64' }}-pc-windows-msvc/rustup-init.exe --output '${{runner.temp}}\rustup-init.exe' curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused --location --silent --show-error --fail https://static.rust-lang.org/rustup/dist/${{ runner.arch == 'ARM64' && 'aarch64' || 'x86_64' }}-pc-windows-msvc/rustup-init.exe --output '${{runner.temp}}\rustup-init.exe'
'${{runner.temp}}\rustup-init.exe' --default-toolchain none --no-modify-path -y '${{runner.temp}}\rustup-init.exe' --default-toolchain none --no-modify-path -y
echo "$USERPROFILE/.cargo/bin" >> $GITHUB_PATH echo '$USERPROFILE\.cargo\bin' >> $GITHUB_PATH
fi fi
if: runner.os == 'Windows' if: runner.os == 'Windows'
shell: bash shell: bash