mirror of
https://github.com/italicsjenga/agb.git
synced 2024-12-23 16:21:33 +11:00
Maybe we need to set nightly as default?
This commit is contained in:
parent
a053c8f0c3
commit
88d3d027b7
1
.github/workflows/build-and-test.yml
vendored
1
.github/workflows/build-and-test.yml
vendored
|
@ -21,6 +21,7 @@ jobs:
|
||||||
- name: Install Miri
|
- name: Install Miri
|
||||||
run: |
|
run: |
|
||||||
rustup toolchain install nightly --component miri
|
rustup toolchain install nightly --component miri
|
||||||
|
rustup override set nightly
|
||||||
cargo miri setup
|
cargo miri setup
|
||||||
- uses: actions/checkout@v3
|
- uses: actions/checkout@v3
|
||||||
- name: Cache
|
- name: Cache
|
||||||
|
|
Loading…
Reference in a new issue