This is an automated email from the ASF dual-hosted git repository.
tustvold pushed a commit to branch master
in repository https://gitbox.apache.org/repos/asf/arrow-rs.git
The following commit(s) were added to refs/heads/master by this push:
new 2629a3308 Update MIRI pin (#1828)
2629a3308 is described below
commit 2629a33083c5af63447eb8a8cf051baeb7015621
Author: Raphael Taylor-Davies <[email protected]>
AuthorDate: Thu Jun 9 20:58:27 2022 +0100
Update MIRI pin (#1828)
* Update MIRI
* Unpin MIRI
---
.github/workflows/miri.yaml | 10 +++-------
1 file changed, 3 insertions(+), 7 deletions(-)
diff --git a/.github/workflows/miri.yaml b/.github/workflows/miri.yaml
index 73dfc0092..2167ed519 100644
--- a/.github/workflows/miri.yaml
+++ b/.github/workflows/miri.yaml
@@ -26,19 +26,15 @@ jobs:
miri-checks:
name: MIRI
runs-on: ubuntu-latest
- strategy:
- matrix:
- arch: [amd64]
- rust: [nightly-2022-01-17]
steps:
- uses: actions/checkout@v2
with:
submodules: true
- name: Setup Rust toolchain
run: |
- rustup toolchain install ${{ matrix.rust }}
- rustup default ${{ matrix.rust }}
- rustup component add rustfmt clippy miri
+ rustup toolchain install nightly --component miri
+ rustup override set nightly
+ cargo miri setup
- name: Run Miri Checks
env:
RUST_BACKTRACE: full
