Merge pull request #177 from dtolnay/permitcopyrename

Permit cross-device copy
This commit is contained in:
David Tolnay 2025-12-16 09:11:34 -08:00 committed by GitHub
commit f7ccc83f9e
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -91,6 +91,8 @@ runs:
- name: rustup toolchain install ${{steps.parse.outputs.toolchain}}
run: rustup toolchain install ${{steps.parse.outputs.toolchain}}${{steps.flags.outputs.targets}}${{steps.flags.outputs.components}} --profile minimal${{steps.flags.outputs.downgrade}} --no-self-update
env:
RUSTUP_PERMIT_COPY_RENAME: 1
shell: bash
- run: rustup default ${{steps.parse.outputs.toolchain}}