Merge branch 'main' into add-workspaces

This commit is contained in:
Rob Ede 2024-01-13 17:36:40 +00:00 committed by GitHub
commit 6f719a240e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 26 additions and 9 deletions

View file

@ -141,7 +141,7 @@ runs:
toolchain=stable
fi
rustup toolchain install $toolchain${{steps.flags.outputs.targets}}${{steps.flags.outputs.components}} --profile minimal${{steps.flags.outputs.downgrade}} --no-self-update
rustup default $toolchain
rustup override set $toolchain
fi
- id: versions