actions
/
mdBook
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #1273 from ehuss/fix-ci-rustup 

Fix CI due to new rustup.
This commit is contained in:
Eric Huss 2020-07-08 10:59:14 -07:00 committed by GitHub
parent f37ea9a4e7 e38fb1ecc6
commit ec495a7823
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
ci/install-rust.sh
View File

@ -12,7 +12,7 @@ TOOLCHAIN="$1"
rustup set profile minimal rustup set profile minimal
rustup component remove --toolchain=$TOOLCHAIN rust-docs || echo "already removed" rustup component remove --toolchain=$TOOLCHAIN rust-docs || echo "already removed"
rustup update $TOOLCHAIN rustup update --no-self-update $TOOLCHAIN
rustup default $TOOLCHAIN rustup default $TOOLCHAIN
rustup -V rustup -V
rustc -Vv rustc -Vv