fix: dont install master miri
This commit is contained in:
1 parent
b351345db9
commit
7a0c00ab6f
1 file changed
+8
-8
@@ -68,14 +68,14 @@ jobs:
|
|||||||
shell: bash
|
shell: bash
|
||||||
run: |
|
run: |
|
||||||
cargo install -f rustup-toolchain-install-master
|
cargo install -f rustup-toolchain-install-master
|
||||||
- name: Install "master" toolchain
|
# - name: Install "master" toolchain
|
||||||
shell: bash
|
# shell: bash
|
||||||
run: |
|
# run: |
|
||||||
if [[ ${{ github.event_name }} == 'schedule' ]]; then
|
# if [[ ${{ github.event_name }} == 'schedule' ]]; then
|
||||||
echo "Building against latest rustc git version"
|
# echo "Building against latest rustc git version"
|
||||||
git ls-remote https://github.com/rust-lang/rust/ HEAD | cut -f 1 > rust-version
|
# git ls-remote https://github.com/rust-lang/rust/ HEAD | cut -f 1 > rust-version
|
||||||
fi
|
# fi
|
||||||
./miri toolchain --host ${{ matrix.host_target }}
|
# toolchain --host ${{ matrix.host_target }}
|
||||||
- name: Show Rust version
|
- name: Show Rust version
|
||||||
run: |
|
run: |
|
||||||
rustup show
|
rustup show
|
||||||
|
|||||||
Reference in new issue
Block a user