We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 2e5a29f commit cddc751Copy full SHA for cddc751
.github/workflows/rust.yml
@@ -46,9 +46,9 @@ jobs:
46
token: ${{ secrets.CODECOV_TOKEN }}
47
files: target/cobertura.xml
48
49
- - name: Miri
50
- run: |
51
- rustup toolchain install nightly --component miri
52
- rustup override set nightly
53
- cargo miri setup
54
- cargo miri test
+ # - name: Miri
+ # run: |
+ # rustup toolchain install nightly --component miri
+ # rustup override set nightly
+ # cargo miri setup
+ # cargo miri test
0 commit comments